Modal and Justification Logic
Modal logic is the study of reasoning that involves various modalities.
- Modal Logic, The Stanford Encyclopedia of Philosophy (Winter 2009 Edition) (Edward N. Zalta - editor) ,
- 2001, Modal Logic, Cambridge: Cambridge University Press ,
- 1980, Modal Logic: An Introduction, Cambridge: Cambridge University Press ,
- 1998, First Order Modal Logic, Dordrecht: Kluwer. ,
- 1996, A New Introduction to Modal Logic, London: Routledge. ,
- Deontic Logic, The Stanford Encyclopedia of Philosophy (Fall 2010 Edition) (Edward N. Zalta - editor) ,
- Epistemic Logic, The Stanford Encyclopedia of Philosophy (Spring 2009 Edition) (Edward N. Zalta - editor) ,
- 1962, Knowledge and Belief: An Introduction to the Logic of the Two Notions, Ithaca, NY: Cornell University Press. ,
- 1995, Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science 41, Cambridge: Cambridge University Press. ,
- 1995, Reasoning about Knowledge, Cambridge: MIT Press. ,
- Temporal Logic, The Stanford Encyclopedia of Philosophy (Fall 2008 Edition) (Edward N. Zalta - editor). ,
- Provability Logic, The Stanford Encyclopedia of Philosophy (Winter 2010 Edition) (Edward N. Zalta - editor) ,
- 1993, The Logic of Provability, Cambridge: Cambridge University Press. ,
- 2006, Dynamic Epistemic Logic, vol. 337 of Synthese Library, Dordrecht: Springer. ,
- Hybrid Logic, The Stanford Encyclopedia of Philosophy (Winter 2011 Edition) (Edward N. Zalta - editor). ,
- Modal $\mu$-calculi, in Handbook of Modal Logic (P. Blackburn et al. - editors), Elsevier, Amsterdam 2006: pp.721-756. ,
- Justification Logic, The Stanford Encyclopedia of Philosophy (Fall 2012 Edition) (Edward N. Zalta - editor), ,
- 1995, Operational modal logic, Technical Report MSI 95–29,Cornell University. ,
- 2001, Explicit provability and constructive semantics, The Bulletin of Symbolic Logic, 7(1): pp. 1–36. ,
- 1938. Vortrag bei Zilsel/Lecture at Zilsel's (*1938a), in Unpublished Essays and Lectures (Kurt Gödel Collected Works: Volume III) (S. Feferman, J. J. Dawson, W. Goldfarb, C. Parsons and R. Solovay - editors), Oxford: Oxford University Press, 1995, pp. 86–113. .
- 2008, The logic of justification, The Review of Symbolic Logic, 1(4): pp. 477–513. ,
- 2009, Logical omniscience as a computational complexity problem, in Theoretical Aspects of Rationality and Knowledge (A. Heifetz - editor), Proceedings of the Twelfth Conference (TARK 2009), ACM Publishers, pp. 14–23.
- 2010, Self-referential justifications in epistemic logic, Theory of Computing Systems, 46 (4): pp. 636–661. ,