Justified and common knowledge: Limited conservativity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4514 LNCS, Issue , 2007, Pages 1-11

  Antonakos, Evangelia ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

Artemov; Common knowledge; Conservative; Justified knowledge

Indexed keywords

KNOWLEDGE BASED SYSTEMS; MODAL ANALYSIS; NUMERICAL METHODS;

ARTEMOV; CONSERVATIVE SYSTEM; EPISTEMIC SYSTEMS; JUSTIFIED KNOWLEDGES;

KNOWLEDGE ENGINEERING;

EID: 35448981812     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-72734-7_1     Document Type: Conference Paper

References (18)

1. L. Alberucci, G. Jaeger. About cut elimination for logics of common knowledge. Annals of Pure and Applied Logic, 133:73-99, 2005.
2. S. Artemov. Explicit provability and constructive semantics. Bulletin of Symbolic Logic, 7(1): 1-36, 2001.
3. S. Artemov. Evidence-Based Common Knowledge. Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science, 2004.
4. S. Artemov. Justified Common Knowledge. Theoretical Computer Science, 357 (1-3): 4-22, 2006.
5. R. J. Aumann. Agreeing to Disagree. Annals of Statistics, 4(6): 1236-1239, 1976.
6. J. Barwise. Three Views of Common Knowledge. TARK 1988: 365-379.
7. J. van Benthem, D Sarenac. The Geometry of Knowledge. ILLC Report PP-2004-21, University of Amsterdam, 2004.
8. Y. Bryukhov. Integration of decision procedures into high-order interactive provers. Ph.D. thesis, CUNY Graduate School, 2005.
9. S. Demri. Complexity of Simple Dependent Bimodal Logics. Laboratoire LEIBNIZ-CNRS, U.M.R. 5522, manuscript, 2005.
10. R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Reasoning About Knowledge. MIT Press, 1995.
11. M. Fitting. Modal Proof Theory. In Handbook of Modal Logic, Patrick Blackburn and Johan van Benthem and Frank Wolter, editors, Elsevier, 2006.
12. J. Geanakoplos. Common Knowledge. TARK 1992: 254-315.
13. J. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37(3): 549-587, 1990. (A preliminary version appeared in 1984.)
14. D. Lehmann. Knowledge, common knowledge, and related puzzles. Proc.3rd ACM Symposium on Principles of Distributed Computing, 62-67, 1984.
15. D. Lewis. Convention, A Philosophical Study. Harvard University Press, 1969.
16. J. McCarthy, M. Sato, T. Hayashi, and S. Igarishi. On the Model Theory of Knowledge. Technical Report STAN-CS-78-657, Stanford University, 1978.
17. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic of AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, 41. Cambridge University Press, 1995.
18. N. Rubtsova. On realization of S5 modalitiy by evidence terms. Journal of Logic and Computation, 16: 671-684, 2006.