Self-referential justifications in epistemic logic

Theory of Computing Systems

Volumn 46, Issue 4, 2010, Pages 636-661

  Kuznets, Roman ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

Epistemic modal logic; Justification logic; Logic of Proofs; Self referentiality

Indexed keywords

EPISTEMIC LOGIC; JUSTIFICATION LOGIC; LOGIC OF PROOFS; MODAL LANGUAGE; MODAL LOGIC; SELF-REFERENTIALITY;

MACHINERY;

FORMAL LOGIC;

EID: 77951208017     PISSN: 14324350     EISSN: 14330490     Source Type: Journal    
DOI: 10.1007/s00224-009-9209-3     Document Type: Article

References (25)

1. Artemov, S. N.: Operational modal logic. Technical Report MSI 95-29, Cornell University, December 1995.
2. Artemov, S. N.: Explicit provability and constructive semantics. Bull. Symb. Log. 7(1), 1-36 (2001).
3. Artemov, S. N.: The logic of justification. Technical Report TR-2008010, CUNY Ph. D. Program in Computer Science, September 2008.
4. Brezhnev, V. N., Kuznets, R.: Making knowledge explicit: How hard it is. Theor. Comput. Sci. 357(1-3), 23-34 (2006).
5. Brezhnev, V. N.: On explicit counterparts of modal logics. Technical Report CFIS 2000-05, Cornell University, 2000.
6. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35. Oxford University Press, Oxford (1997).
7. Fine, K.: Normal forms in modal logic. Notre Dame J. Form. Log. 16(2), 229-237 (1975).
8. Fitting, M.: The logic of proofs, semantically. Ann. Pure Appl. Log. 132(1), 1-25 (2005).
9. Fitting, M.: Modal proof theory. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol. 3, pp. 85-138. Elsevier, Amsterdam (2007).
10. Gettier, E. L.: Is justified true belief knowledge? Analysis 23(6), 121-123 (1963).
11. Goble, L. F.: Gentzen systems for modal logic. Notre Dame J. Form. Log. 15(3), 455-461 (1974).
12. Goldman, A. I.: A causal theory of knowing. J. Philos. 64(12), 357-372 (1967).
13. Hendricks, V. F.: Active agents. J. Log. Lang. Inform. 12(4), 469-495 (2003).
14. Krupski, N. V.: On the complexity of the reflected logic of proofs. Theor. Comput. Sci. 357(1-3), 136-142 (2006).
15. Kuznets, R.: On self-referentiality in modal logic. In: 2005-06 Winter Meeting of the Association for Symbolic Logic, The Hilton New York Hotel, New York, NY, December 27-29, 2005. Bull. Symb. Log., vol. 12(3), p. 510. Association for Symbolic Logic, September 2006.
16. Kuznets, R.: Complexity issues in justification logic. PhD thesis, CUNY Graduate Center, May 2008.
17. Kuznets, R.: Self-referentiality of justified knowledge. In: Hirsch, E. A., Razborov, A. A., Semenov, A., Slissenko, A. (eds.) Proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008. Lecture Notes in Computer Science, vol. 5010, pp. 228-239. Springer, Berlin (2008).
18. Lehrer, K., Paxson, T. Jr.: Knowledge: Undefeated justified true belief. J. Philos. 66(8), 225-237 (1969).
19. Mkrtychev, A.: Models for the logic of proofs. In: Adian, S., Nerode, A. (eds.) Proceedings of the 4th International Symposium Logical Foundations of Computer Science, LFCS'97, Yaroslavl, Russia, July 6-12, 1997. Lecture Notes in Computer Science, vol. 1234, pp. 266-275. Springer, Berlin (1997).
20. Pacuit, E.: A note on some explicit modal logics. In: Proceedings of the 5th Panhellenic Logic Symposium, Athens, Greece, July 25-28, 2005, pp. 117-125. University of Athens, Athens (2005).
21. Rubtsova, N.: Evidence reconstruction of epistemic modal logic S5. In: Grigoriev, D., Harrison, J., Hirsch, E. A. (eds.) Proceedings of the First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006. Lecture Notes in Computer Science, vol. 3967, pp. 313-321. Springer, Berlin (2006).
22. Smoryński, C.: Self-Reference and Modal Logic. Universitext. Springer, Berlin (1985).
23. Troelstra, A. S., Schwichtenberg, H.: Basic Proof Theory, 2nd edn. Cambridge Tracts in Theoretical Computer Science, vol. 43. Cambridge University Press, Cambridge (2000).
24. Valentini, S.: The sequent calculus for the modal logic D. Boll. Unione Mat. Ital. Sez. A 7, 455-460 (1993).
25. Wansing, H.: Sequent calculi for normal modal propositional logics. J. Log. Comput. 4(2), 125-142 (1994).