252 search results - page 4 / 51 » Knowledge, Time, and Logical Omniscience |
TIME
2003
IEEE
13 years 11 months ago
2003
IEEE
CORR
2002
Springer
13 years 5 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
LICS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...
CCS
2005
ACM
13 years 11 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
INFORMATICALT
2006
13 years 5 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...