Partitioning Kripke frames of finite height

DOI10.1070/IM8476zbMath1371.03025arXiv1511.09092MaRDI QIDQ5349257

Andreĭ Valer'Evich Kudinov, Ilya B. Shapirovsky

Publication date: 24 August 2017

Published in: Izvestiya: Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1511.09092

zbMATH Keywords

modal logicdecidabilityfinite model propertyfinite height

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantification in nonclassical logic. Volume I.
• Provability interpretations of modal logic
• Finite-level modal logics
• Some logics related to von Wright's logic of place
• A general filtration method for modal logics
• On non-compact logics in NEXT(KTB)
• Cylindric modal logic
• Some theorems about the sentential calculi of Lewis and Heyting
• Boolean Algebras with Operators. Part I

This page was built for publication: Partitioning Kripke frames of finite height