Epistemic modalities are captured in epistemic modal logic, where necessity is interpreted as saying “I know that proposition is true”, and in ‘provability logic’, the basic modal operator interprets as “it is provable that ”. If we have the basic temporal logic, then there is a future truth operator, so that is intended to mean ” will be true at some future time”, and also a past operator so is intended to mean ” was true at some past time”.
Notice that the notions of possibility and necessity have different senses in ordinary language. For example, if we say ‘ is possible’, we may mean that is: epistemically possible, not ruled out by anything I know; physically possible, not ruled out by the laws of physics; logically possible, not ruled out by the laws of logic. Some suggest that there is a further type of possibility, metaphysical possibility intermediate between logical and physical possibility. Metaphysical possibility would allow that different laws of physics might apply.
These are variants of the formulae of the basic modal language. The basic modal operators are, here, labelled since they relate to ‘knowledge’. These correspond to the operators in the standard form, and are used in preference to the dual forms because of their interpretation (given below), which is more immediately relevant to the applications.
More formally, we have or , is a set of countably (finite or infinite) many atomic formulae. there is also a set , often called the set of ‘agents’ and taken to be . The set of epistemic formluae (= basic -agent epistemic language) will be denoted is given by the rules
\phi ::= p \mid \bot \mid \neg \phi \mid \phi_1 \wedge \phi_2 \mid K_i\phi for i\in A.
We read as ”agent knows that ”.
The converse or dual operators, denoted (so that ) reads as ”agent considers is possible”.
The ‘agent’ terminology is extremely useful, but in pure modal logic texts is not used so much. It does provide an ‘intuition’ and an interpretation however.
The geometric or combinatorial semantics of epistemic models follows the same techniques of Kripke frames as at geometric models for modal logics, whilst the algebraic models are BAOs that is Boolean algebras with operators. As usual the Kripke frames semantics is an example of coalgebraic semantics?.
A fairly recent book on epistemic logics and their applications is
and this has been used for some of the material here.
General books on modal logics include
Marcus Kracht, Tools and Techniques in Modal Logic, Studies in Logic and the Foundation of Mathematics, 142, Elsevier, 1999,
and these have discussions about epistemic logics and their place within the wider framework of modal logic.