- Cylindric Modal Logic
- Book title
- Cylindric-like Algebras and Algebraic Logic
- Pages (from-to)
- Berlin: Springer
- ISBN (electronic)
- Bolyai Society Mathematical Studies: 1217-4696
- Volume (Serie)
- Document type
- Interfacultary Research Institutes
- Institute for Logic, Language and Computation (ILLC)
The formalism of cylindric modal logic can be motivated from two directions. In its own right, it forms an interesting bridge over the gap between propositional formalisms and first-order logic, in that it formalizes first-order logic as if it were a modal formalism: The assignments of first-order variables can be seen as states or possible worlds of the modal formalism, and the quantifiers ∃ and ∀ may be studied as special cases of the modal operators ♢ and ☐, respectively. Elaborating this idea, we find that from this modal viewpoint, the standard semantics of first-order logic corresponds to just one of many possible classes of Kripke frames, and that other classes might be of interest as well.
- go to publisher's site
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.