Distribution Axiom in Modal Logic
The distribution axiom, often referred to as axiom K, is fundamental in…
Accessibility Relation in Modal Logic
An accessibility relation in modal logic defines the connections between possible worlds…
Tag: epistemic logic