The semantics of is just the Kripke semantics of this context, so a frame, is just a set, of possible worlds with relations . A model, , is a frame in that sense together with a valuation, , and the satisfaction relation is as described in geometric models for modal logics with just the difference implied by the fact that that page correspond to the use of whilst this uses . This means that
if and only if, for all such that , .
Revised on November 5, 2012 19:22:26
by Urs Schreiber