Partial realization in dynamic justification logic

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

Volumn 6642 LNAI, Issue , 2011, Pages 35-51

  Bucheli, Samuel ^a   Kuznets, Roman ^a   Studer, Thomas ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; SEMANTICS;

GROENEVELD; JUSTIFICATION LOGIC; REALIZATION THEOREMS;

COMPUTER CIRCUITS;

EID: 79955871337     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-20920-8_9     Document Type: Conference Paper

References (19)

1. Artemov, S.N.: Justified common knowledge. Theoretical Computer Science 357(1-3), 4-22 (2006)
2. Artemov, S.N.: The logic of justification. The Review of Symbolic Logic 1(4), 477-513 (2008)
3. Artemov, S.N.: Tracking evidence. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 61-74. Springer, Heidelberg (2010)
4. Artemov, S.N., Kuznets, R.: Logical omniscience as a computational complexity problem. In: Heifetz, A. (ed.) Proc. of TARK 2009, pp. 14-23. ACM, New York (2009)
5. Brezhnev, V.N.: On explicit counterparts of modal logics. Technical Report CFIS 2000-05. Cornell University (2000)
6. Brünnler, K., Goetschi, R., Kuznets, R.: A syntactic realization theorem for justification logics. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, vol. 8, pp. 39-58. College Publications (2010)
7. Bucheli, S., Kuznets, R., Renne, B., Sack, J., Studer, T.: Justified belief change. In: Arrazola, X., Ponte, M. (eds.) Proc. of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, pp. 135-155. University of the Basque Country Press (2010)
8. Bucheli, S., Kuznets, R., Studer, T.: Justifications for common knowledge. To appear in the Journal of Applied Non-Classical Logics (2011)
9. Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132(1), 1-25 (2005)
10. Fitting, M.: The realization theorem for S5, a simple, constructive proof. In: Gupta, A., van Benthem, J. (eds.) Proc. of the Second Indian Conference on Logic and Its Relationship with Other Disciplines (2009) (forthcoming)
11. Fitting, M.: Realizations and LP. Annals of Pure and Applied Logic 161(3), 368-387 (2009)
12. Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis. Institute for Logic, Language, and Computation, University of Amsterdam (1999)
13. Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6(2), 147-169 (1997)
14. Plaza, J.: Logics of public communications. Synthese 158(2), 165-179 (2007);
15. Reprinted from Emrich, M.L., et al. (eds.) Proc. of ISMIS 1989, pp. 201-216. Oak Ridge National Laboratory, ORNL/DSRD-24 (1989)
16. Renne, B.: Dynamic Epistemic Logic with Justification. PhD thesis. CUNY Graduate Center (2008)
17. Renne, B.: Evidence elimination in multi-agent justification logic. In: Heifetz, A. (ed.) Proc. of TARK 2009, pp. 227-236. ACM, New York (2009)
18. Renne, B.: Public communication in justification logic. Journal of Logic and Computation, Advance Access (July 2010)
19. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. In: Synthese Library, vol. 337. Springer, Heidelberg (2007)