A new semantic framework for Modal Logic
A new semantic framework for Modal Logic
Author(s): Vít PuncocharSubject(s): Philosophy
Published by: Институт по философия и социология при БАН
Keywords: Kripke semantics; algebraic semantics; Boolean algebras with operators; ideals; normal modal logics.
Summary/Abstract: The article presents a new semantic framework for modal propositional language. The basic structures of the semantics are Boolean algebras with operators. However, the semantics is not algebraic but rather relational; in it, Boolean algebras with operators play a similar role as Kripke models in standard relational semantics, and the semantics is based on a relation between the elements of Boolean algebras enriched with operators and formulas from modal language. Some basic connections between the new semantic framework and standard algebraic and relational semantics are studied.
Journal: Философски алтернативи
- Issue Year: XXIII/2014
- Issue No: 6
- Page Range: 47-59
- Page Count: 13
- Language: English
- Content File-PDF