Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition...

such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula ◻ P {\displaystyle \Box P} can be used to represent...

Epistemic modality is a sub-type of linguistic modality that encompasses knowledge, belief, or credence in a proposition. Epistemic modality is exemplified...

of deontic and epistemic logics, for example, are non-normal, often because they give up the Kripke schema. Every normal modal logic is regular and hence...

In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic...

p.} Philosophy portal Epistemic modal logic Belief revision Common knowledge (logic) George Boolos Jaakko Hintikka Modal logic Raymond Smullyan Smullyan...

of knowability. epistemic modal logic A branch of modal logic that deals with reasoning about knowledge and belief, using modalities to express what is...

given a logical definition in multi-modal logic systems in which the modal operators are interpreted epistemically. At the propositional level, such systems...

In philosophy and modal logic, epistemic possibility relates a statement under consideration to the current state of our knowledge about the actual world:...

and discourse effects of modal expressions using formal tools derived from modal logic. Within philosophy, linguistic modality is often seen as a window...