Logica Universalis 8 (3-4):407-422 (2014)
Authors |
|
Abstract |
In 1940 Dugundji proved that no system between S1 and S5 can be characterized by finite matrices. Dugundji’s result forced the development of alternative semantics, in particular Kripke’s relational semantics. The success of this semantics allowed the creation of a huge family of modal systems. With few adaptations, this semantics can characterize almost the totality of the modal systems developed in the last five decades. This semantics however has some limits. Two results of incompleteness showed that not every modal logic can be characterized by Kripke frames. Besides, the creation of non-classical modal logics puts the problem of characterization of finite matrices very far away from the original scope of Dugundji’s result. In this sense, we will show how to update Dugundji’s result in order to make precise the scope and the limits of many-valued matrices as semantic of modal systems. A brief comparison with the useful Chagrov and Zakharyaschev’s criterion of tabularity for modal logics is provided
|
Keywords | Modal logics matrix logics Dugundji’s theorem |
Categories | (categorize this paper) |
DOI | 10.1007/s11787-014-0106-4 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Note on a Property of Matrices for Lewis and Langford's Calculi of Propositions.James Dugundji - 1940 - Journal of Symbolic Logic 5 (4):150-151.
New Foundations for Lewis Modal Systems.E. J. Lemmon - 1957 - Journal of Symbolic Logic 22 (2):176-186.
Extensions of the Lewis System S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
Representation and Duality Theory for Diagonalizable Algebras.Roberto Magari - 1975 - Studia Logica 34 (4):305 - 313.
View all 8 references / Add more references
Citations of this work BETA
Finite Non-Deterministic Semantics for Some Modal Systems.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2015 - Journal of Applied Non-Classical Logics 25 (1):20-45.
Modal Logic with Non-Deterministic Semantics: Part I—Propositional Case.Marcelo E. Coniglio, Fariñas Del Cerro Luis & Marques Peron Newton - 2020 - Logic Journal of the IGPL 28 (3):281-315.
Tree-Like Proof Systems for Finitely-Many Valued Non-Deterministic Consequence Relations.Pawel Pawlowski - 2020 - Logica Universalis 14 (4):407-420.
Similar books and articles
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Modal Extensions of Sub-Classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
Theory Matrices (for Modal Logics) Using Alphabetical Monotonicity.Ian P. Gent - 1993 - Studia Logica 52 (2):233 - 257.
Two Semantical Approaches to Paraconsistent Modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
AGM Belief Revision in Monotone Modal Logics.Gregory Wheeler - 2010 - LPAR 2010 Short Paper Proceedings.
Some Connections Between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
The Contribution of A.V. Kuznetsov to the Theory of Modal Systems and Structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist - 2013 - Logica Universalis 7 (2):233-264.
On Regular Modal Logics with Axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
Analytics
Added to PP index
2014-07-18
Total views
12 ( #755,854 of 2,411,348 )
Recent downloads (6 months)
1 ( #538,938 of 2,411,348 )
2014-07-18
Total views
12 ( #755,854 of 2,411,348 )
Recent downloads (6 months)
1 ( #538,938 of 2,411,348 )
How can I increase my downloads?
Downloads