Splittings and the finite model property

DOI10.2307/2275330MaRDI QIDQ5287685zbMATH OpenOpenAlexFDO

Authors Marcus Kracht

Publication date 17 August 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275330

zbMATH Keywords

finite model propertynormal modal logicsprovability logicsplittings

Mathematics Subject Classification ID

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

Recommendations

• An almost general splitting theorem for modal logic
• Canonical formulas for K4. Part III: the finite model property
• A Sufficient Condition for the Finite Model Property of Modal Logics above K4

Cites work

• An almost general splitting theorem for modal logic
• An incomplete logic containing S4
• Der Verband der normalen verzweigten Modallogiken
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Modal tableau calculi and interpolation
• Prefinitely axiomatizable modal and intermediate logics
• Properties of independently axiomatizable bimodal logics
• Splitting lattices of logics

Cited in

(11)

• Frame based formulas for intermediate logics
• Even more about the lattice of tense logics
• Reasoning about update logic
• The splitting property of stable models
• On Finite Model Property for Admissible Rules
• Canonical formulas \(\mathbf{wK4}\)
• Characteristic formulas over intermediate logics
• Intermediate logics in the setting of team semantics
• Pretabular tense logics over \(\mathsf{S4}_t\)
• An almost general splitting theorem for modal logic
• A splitting logic in NExt(KTB)

This page was built for publication: Splittings and the finite model property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5287685)