On Finite Model Property for Admissible Rules

DOI10.1002/malq.19990450409zbMath0938.03033OpenAlexW1975190772MaRDI QIDQ4704656

V. R. Kiyatkin, Tahsin Oner, Vladimir Vladimirovich Rybakov

Publication date: 14 June 2000

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19990450409

zbMATH Keywords

modal logicfinite model propertyadmissible rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

A Tableau Method for Checking Rule Admissibility in S4, Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL, Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms, Linear temporal logic with until and next, logical consecutions, Finite frames fail: how infinity works its way into the semantics of admissibility, Hereditarily structurally complete superintuitionistic deductive systems, Logical consecutions in discrete linear temporal logic, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Rules with parameters in modal logic. I.

Cites Work

• Unnamed Item
• Unnamed Item
• A decidable noncompact extension of the logic S4
• Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
• A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
• Modal logics with LM-axioms
• A modal analog for Glivenko's theorem and its applications
• Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
• A general filtration method for modal logics
• Rules of inference with parameters for intuitionistic logic
• Logics containing K4. Part I
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• The finite model property in tense logic
• Splittings and the finite model property
• Algebraic semantics for modal logics I
• That All Normal Extensions of S4.3 Have the Finite Model Property
• Modal Logics Between S 4 and S 5
• The Logics Containing S 4.3