Evidence reconstruction of epistemic modal logic S5

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

Volumn 3967 LNCS, Issue , 2006, Pages 313-321

  Rubtsova, Natalia ^a  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CURVE FITTING; FORMAL LANGUAGES; MATHEMATICAL MODELS; NUMERICAL METHODS; THEOREM PROVING;

EPISTEMIC MODAL LOGIC; EVIDENCE RECONSTRUCTION; MODAL LOGIC; REALIZATION THEOREM;

FORMAL LOGIC;

EID: 33745921495     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11753728_32     Document Type: Conference Paper

References (6)

1. Artemov, S.: Uniform provability realization of intuitionistic logic, modality and λ-terms. Electronic Notes in Theoretical Computer Science. 23 (1999)
2. Artemov S.: Explicit provability and constructive semantics. Bulletine of Symbolic Logic. 7 (2001), 1-36
3. Artemov S.: Evidence-based common knowledge. Technical Report TR-2004018 CUNY Ph.D. Program in Computer Science (2005)
4. Artemov S., Kazakov E., Shapiro D.: On logic of knowledge with justifications. Technical Report CFIS 99-12, Cornell University (1999)
5. Fitting M.: The logic of proofs, semantically. Annals of Pure and Applied Logic, 132(1) (2005), 1-25
6. Mkrtychev A.: Models for the Logic of Proofs. Lecture Notes in Computer Science, 1234 (1997). Logical Foundations of Computer Science, Yaroslavl, (1997) 266-275