The Logic of Public Announcements, Common Knowledge, and Private Suspicions-Reference-Cited by-同舟云学术

The Logic of Public Announcements, Common Knowledge, and Private Suspicions

Published:2016 Issue: Volume: Page:773-812
ISSN:
Container-title:Readings in Formal Epistemology
language:
Short-container-title:

Author:

Baltag Alexandru,Moss Lawrence S.,Solecki Sławomir

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-20451-2_38

Reference13 articles.

1. Baltag, A. (1999). A logic of epistemic actions, ms. Amsterdam: CWI.

2. Buchholz, W. (1995). Proof-theoretic analysis of termination proofs. Annals of Pure and Applied Logic, 75, 57–65.

3. Dershowitz, N. (1982). Orderings for term-rewriting systems. Theoretical Computer Science, 17, 279–301.

4. Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambridge: MIT.

5. Gerbrandy, J. (1999a). Dynamic epistemic logic. In L. S. Moss, et al. (Eds.), Logic, language, and information (Vol. 2). Stanford: CSLI Publications, Stanford University.

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Predictive Theory of Mind Models Based on Public Announcement Logic;Lecture Notes in Computer Science;2024

2. Many-Valued Modalities and Paraconsistency;Synthese Library;2024

3. Modeling Theory of Mind in Multimodal HCI;Lecture Notes in Computer Science;2024

4. Defining logical obstruction with fixpoints in epistemic logic;Journal of Applied and Computational Topology;2023-11-14

5. Bisimulation in model-changing modal logics: An algorithmic study;Journal of Logic and Computation;2023-08-24