An Epistemic Logic of Situations.
作者： Paul F. Syverson
DOI:
关键词: Multimodal logic 、 Predicate logic 、 Paraconsistent logic 、 Higher-order logic 、 Philosophy of logic 、 Epistemic modal logic 、 Autoepistemic logic 、 Computer science 、 Epistemic possibility 、 Cognitive science
摘要: 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 and language allows us to represent familiarity with individuals including individual situations. It also l imited awareness in manner [FH88]. adequate for syntactic characterization shared-si tuat ion account common knowledge [Bar89]. Finally, it sound complete respect presented semantics.
参考文章(10)
Joseph Y. Halpern, Moshe Y. Vardi, The Complexity of Reasoning about Knowledge and Time: Extended Abstract symposium on the theory of computing. pp. 304- 315 ,(1986)
Paul F. Syverson, A Logic for the Analysis of Cryptographic Protocols Defense Technical Information Center. ,(1990) , 10.21236/ADA230779
Joseph Y. Halpern, Ronald Fagin, Belief, awareness, and limited reasoning: preliminary report international joint conference on artificial intelligence. pp. 491- 501 ,(1985)
Brian F. Chellas, Modal Logic: An Introduction ,(1980)
Joseph Y. Halpern, Yoram Moses, Knowledge and common knowledge in a distributed environment Journal of the ACM. ,vol. 37, pp. 549- 587 ,(1990) , 10.1145/79147.79161
M.Y. Vardi, On the complexity of epistemic reasoning logic in computer science. pp. 243- 252 ,(1989) , 10.1109/LICS.1989.39179
David K. Lewis, Convention: A Philosophical Study ,(1969)
Lance Fortnow, The knowledge complexity of interactive proof-systems Proceedings of the seventeenth annual ACM symposium on Theory of computing - STOC '85. ,vol. 18, pp. 291- 304 ,(1985) , 10.1145/22145.22178
Hector J. Levesque, A logic of implicit and explicit belief national conference on artificial intelligence. pp. 198- 202 ,(1984)
M.J. Cresswell, G.E. Hughes, An introduction to modal logic ,(1968)