Epistemic Modal Logic
A specialized field of modal logic focusing on formalizing reasoning about knowledge…
Accessibility Relation in Modal Logic
An accessibility relation in modal logic defines the connections between possible worlds…
Tag: modal operators