Multi-agent explicit knowledge

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

Volumn 3967 LNCS, Issue , 2006, Pages 369-380

  Yavorskaya, Tatiana ^a  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; SEMANTICS; THEOREM PROVING;

ARITHMETICAL MODELS; EPISTEMIC SYSTEMS; EVIDENCE LOGIC;

MULTI AGENT SYSTEMS;

EID: 33745886821     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (7)

1. S. Artemov, Uniform provability realization of intuitionistic logic, modality and λ-terms, Electronic Notes in Theoretical Computer Science 23 (1999).
2. S. Artemov, Explicit provability and constructive semantics, Bulletin of Symbolic Logic 7 (2001), 1-36.
3. S. Artemov, Evidence-based common knowledge, Technical Report TR-2004018, CUNY Ph.D. Program in Computer Science, 2005.
4. M. Fitting, The Logic of Proofs, Semantically, Annals of Pure and Applied Logic, vol. 132 (2005), no. 1, pp. 1-25.
5. R. Kuznets, On the complexity of explicit modal logics, Computer Science Logic 2000, Lecture Notes in Computer Science 1862 (2000), 371-383.
6. A. Mkrtychev, Models for the Logic of Proofs, Lecture Notes in Computer Science, v. 1234 (1997), Logical Foundations of Computer Science '97, Yaroslavl', pp. 266-275.
7. C. Smoryński, Self-reference and Modal Logic, Springer, New York, 1985.