Relational semantics for modal, intuitionistic, and related non-classical logics: a Kripke frame (W, R) with valuation V specifies truth at each world relative to an accessibility relation R.
Relational semantics for modal, intuitionistic, and related non-classical logics: a Kripke frame (W, R) with valuation V specifies truth at each world relative to an accessibility relation R.