In Sven Ove Hansson Vincent F. Hendricks (ed.), Handbook of Formal Philosophy. Springer (forthcoming)

Wesley H. Holliday
University of California, Berkeley
This chapter provides a brief introduction to propositional epistemic logic and its applications to epistemology. No previous exposure to epistemic logic is assumed. Epistemic-logical topics discussed include the language and semantics of basic epistemic logic, multi-agent epistemic logic, combined epistemic-doxastic logic, and a glimpse of dynamic epistemic logic. Epistemological topics discussed include Moore-paradoxical phenomena, the surprise exam paradox, logical omniscience and epistemic closure, formalized theories of knowledge, debates about higher-order knowledge, and issues of knowability raised by Fitch’s paradox. The references and recommended readings provide gateways for further exploration.
Keywords epistemic logic  epistemology  epistemic paradoxes  epistemic closure  logical omniscience  higher-order knowledge  knowability  Fitch's paradox  surprise exam paradox  modal logic
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,079
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Epistemic Logic.Vincent Hendricks - 2008 - Stanford Encyclopedia of Philosophy.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.

View all 7 citations / Add more citations

Similar books and articles

Epistemic Logic and Epistemology.Boudewijn de Bruin - 2008 - In Vincent F. Hendricks & Duncan Pritchard (eds.), New Waves in Epistemology. Palgrave-Macmillan.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Intuitionistic Epistemic Logic, Kripke Models and Fitch’s Paradox.Carlo Proietti - 2012 - Journal of Philosophical Logic 41 (5):877-900.
AN EPISTEMIC PARADOX.Byron Kaldis - 1991 - Logique Et Analyse (123-124):251-256.
Proof Theory of Epistemic Logic of Programs.Paolo Maffezioli & Alberto Naibo - 2014 - Logic and Logical Philosophy 23 (3):301--328.


Added to PP index

Total views
234 ( #47,594 of 2,506,037 )

Recent downloads (6 months)
18 ( #47,491 of 2,506,037 )

How can I increase my downloads?


My notes