Splittings and the finite model property

DOI10.2307/2275330zbMath0782.03006OpenAlexW1980468125MaRDI QIDQ5287685

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

splittingsfinite model propertyprovability logicnormal modal logics

Mathematics Subject Classification ID

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

Related Items

Reasoning about update logic, CANONICAL FORMULAS FOR wK4, A splitting logic in NExt(KTB), Frame based formulas for intermediate logics, On Finite Model Property for Admissible Rules, Characteristic Formulas Over Intermediate Logics

Cites Work

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