Prefinitely axiomatizable modal and intermediate logics

DOI10.1002/MALQ.19930390136MaRDI QIDQ4304115zbMATH OpenOpenAlexFDO

Authors Marcus Kracht

Publication date 8 September 1994

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

Full work available at URL https://dspace.library.uu.nl/handle/1874/26545

zbMATH Keywords

bounded propertiesfinite axiomatizabilityfinite model propertylattice of intermediate logicslattice of normal extensions of K4.3modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 4035781
• On the Independent Axiomatizability of Modal and Intermediate Logics
• scientific article; zbMATH DE number 937394

Cites work

• An incomplete logic containing S4
• scientific article; zbMATH DE number 50169 (Why is no real title available?)

Cited in

(10)

• Frame based formulas for intermediate logics
• Modal companions of intermediate propositional logics
• All normal extensions of S5-squared are finitely axiomatizable
• Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
• ANSWER TO A QUESTION SUGGESTED BY SCHUMM
• scientific article; zbMATH DE number 4035781 (Why is no real title available?)
• On the Independent Axiomatizability of Modal and Intermediate Logics
• Canonical formulas \(\mathbf{wK4}\)
• Splittings and the finite model property
• FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3

This page was built for publication: Prefinitely axiomatizable modal and intermediate logics

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