Abstract
Epistemic modal logic in a narrow sense studies and formalises reasoning about
knowledge. In a wider sense, it gives a formal account of the informational attitude
that agents may have, and covers notions like knowledge, belief, uncertainty, and
hence incomplete or partial information. As is so often the case in modal logic,
such formalised
... read more