Prefinitely axiomatizable modal and intermediate logics

DOI10.1002/malq.19930390136zbMath0799.03011OpenAlexW2120303764MaRDI QIDQ4304115

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

finite model propertymodal logicsfinite axiomatizabilitybounded propertieslattice of intermediate logicslattice of normal extensions of K4.3

Mathematics Subject Classification ID

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

Related Items

Splittings and the finite model property, FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, CANONICAL FORMULAS FOR wK4, All normal extensions of S5-squared are finitely axiomatizable, Frame based formulas for intermediate logics

Cites Work

• An incomplete logic containing S4
• Unnamed Item