Google
×

Epistemic modal logic

Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. Wikipedia