The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
The knowledge complexity of interactive proof-systems
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Belief, awareness, and limited reasoning
Artificial Intelligence
On the complexity of epistemic reasoning
Proceedings of the Fourth Annual Symposium on Logic in computer science
All I know: a study in autoepistemic logic
Artificial Intelligence
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Three Views of Common Knowledge
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge
Logic, convention, and common knowledge
Logic, convention, and common knowledge
Hi-index | 0.00 |
In this paper we present a first order epistemic logic that incorporates the essentially finite character of what is actually known by any knower. Our logic and language allows us to represent familiarity with individuals including individual situations. It is also a logic of limited awareness in the manner of [FH88]. It is adequate for the syntactic characterization of the shared-situation account of common knowledge [Bar89]. Finally, it is sound and complete with respect to the presented semantics.