Modal Structures and Morphisms
- 116 Downloads
A modal structure base or simply base is a quadruple <K, R, O, N>, where K is a non-empty set, O ∈ K, R is a binary relation on K, and N ⊆ K. We will usually write Q for K — N. The elements of K are usually referred to as possible worlds, O as the origin or immediate situation, R as the accessibility relation between the worlds of K, N as the collection of normal worlds, and Q as the collection of queer worlds (cf. Kripke, 1963, 1965 and Lemmon, 1966).
KeywordsModal Structure Function Symbol Accessibility Relation Normal World Predicate Symbol
Unable to display preview. Download preview PDF.