Epistemic Logic
Updated 2026-09-10
INTRODUCTION
English translation pending.
CORE DEFINITION
Epistemic logic is a subfield of philosophical logic concerned with the logical treatment of knowledge, belief, and related concepts. Any logic admitting an epistemic reading can be called epistemic, but the most common is modal logic, in which knowledge and belief are represented by the modal operators K and B, often subscripted to indicate the agent holding the attitude.
SCAFFOLDING EFFECT
Reduce cognitive load
- Model information: use indistinguishability between worlds to represent what each agent knows. - Reason at higher order: formalize nested states such as I know that you know. - Handle group knowledge: distinguish everyone knows from common knowledge when judging whether coordination can occur.
Anchor fast decisions
Epistemic logic treats knowing as a quantifier over possible worlds: an agent knows that phi just in case phi is true in all worlds accessible from her current information state. An indistinguishability relation partitions the worlds into equivalence classes, and knowledge is what holds throughout those classes, while belief is characterized by a relation that allows error.
MINIMUM ACTION
In progress 0/1Practice this model in one real situation:
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more
Source support: Explicit
- plato.stanford.eduhttps://plato.stanford.edu/entries/logic-epistemic/verified
PRIVATE NOTES · Only visible to you
SAVED Q&A
ENTRY Q&A · Private saving available
Ask with a clear boundary
thinkingmodels answers from published entry context only.
Your question is sent to thinkingmodels. The answer uses public entry context only.
RELATED MODELS