Mathematical Logic Quarterly 45 (4):505-520 (1999)
Abstract |
Our investigation is concerned with the finite model property with respect to admissible rules. We establish general sufficient conditions for absence of fmp w. r. t. admissibility which are applicable to modal logics containing K4: Theorem 3.1 says that no logic λ containing K4 with the co-cover property and of width > 2 has fmp w. r. t. admissibility. Surprisingly many, if not to say all, important modal logics of width > 2 are within the scope of this theorem–K4 itself, S4, GL, K4.1, K4.2, S4.1, S4.2, GL.2, etc. Thus the situation is completely opposite to the case of the ordinary fmp–the absolute majority of important logics have fmp, but not with respect to admissibility. As regards logics of width ≤ 2, there exists a zone for fmp w. r. t. admissibility. It is shown that all modal logics A of width ≤ 2 extending S4 which are not sub-logics of three special tabular logics have fmp w.r.t. admissibility
|
Keywords | Finite model property Inference rule Modal logic Admissible rule |
Categories | (categorize this paper) |
DOI | 10.1002/malq.19990450409 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Algebraic Semantics for Modal Logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (14-24):250-264.
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14‐24):250-264.
View all 24 references / Add more references
Citations of this work BETA
Rules with Parameters in Modal Logic I.Emil Jeřábek - 2015 - Annals of Pure and Applied Logic 166 (9):881-933.
Linear Temporal Logic with Until and Next, Logical Consecutions.V. Rybakov - 2008 - Annals of Pure and Applied Logic 155 (1):32-45.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Logics with the Universal Modality and Admissible Consecutions.Rybakov Vladimir - 2007 - Journal of Applied Non-Classical Logics 17 (3):383-396.
Finite Frames Fail: How Infinity Works Its Way Into the Semantics of Admissibility.Jeroen Goudsmit - 2016 - Studia Logica 104 (6):1191-1204.
View all 7 citations / Add more citations
Similar books and articles
Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
Construction of an Explicit Basis for Rules Admissible in Modal System S4.Vladimir V. Rybakov - 2001 - Mathematical Logic Quarterly 47 (4):441-446.
A Note on Admissible Rules and the Disjunction Property in Intermediate Logics.Alexander Citkin - 2012 - Archive for Mathematical Logic 51 (1-2):1-14.
A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.Vladimir V. Rybakov, Mehmet Terziler & Vitaliy Remazki - 2000 - Mathematical Logic Quarterly 46 (2):207-218.
Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.
On Self-Admissible Quasi-Characterizing Inference Rules.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Studia Logica 65 (3):417-428.
The Finite Model Property for Knotted Extensions of Propositional Linear Logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
On the Rules of Intermediate Logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
A Finite Model Property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.
Analytics
Added to PP index
2013-12-01
Total views
24 ( #470,717 of 2,498,534 )
Recent downloads (6 months)
1 ( #426,098 of 2,498,534 )
2013-12-01
Total views
24 ( #470,717 of 2,498,534 )
Recent downloads (6 months)
1 ( #426,098 of 2,498,534 )
How can I increase my downloads?
Downloads