## ##

模态逻辑

###

Frame semantics

A Kripke frame or modal frame is a pair ⟨W,R⟩ where W is a (possibly empty) set, and R is a binary relation on W. Elements of W are called nodes or worlds,

general frames

Kripke frames with an additional structure