On Finite Model Property for Admissible Rules

Mathematical Logic Quarterly 45 (4):505-520 (1999)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 79,898

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
On the rules of intermediate logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
Some Normal Extensions of K4.3.Ming Xu - 2013 - Studia Logica 101 (3):583-599.
A finite model property for RMImin.Ai-ni Hsieh & James G. Raftery - 2006 - Mathematical Logic Quarterly 52 (6):602-612.


Added to PP

24 (#497,564)

6 months
1 (#479,585)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Rules with parameters in modal logic I.Emil Jeřábek - 2015 - Annals of Pure and Applied Logic 166 (9):881-933.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Linear temporal logic with until and next, logical consecutions.V. Rybakov - 2008 - Annals of Pure and Applied Logic 155 (1):32-45.
Logics with the universal modality and admissible consecutions.Rybakov Vladimir - 2007 - Journal of Applied Non-Classical Logics 17 (3):383-396.

View all 7 citations / Add more citations

References found in this work

Modal logic.Alexander Chagrov - 1997 - New York: Oxford University Press. Edited by Michael Zakharyaschev.
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.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.

View all 23 references / Add more references