A classification of modal logics

DOI10.1007/BF01674424zbMath0457.03022MaRDI QIDQ1150604

Larisa L. Maksimova

Publication date: 1980

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

finite model propertynormal modal logicsS4clusters of Kripke framessuperintuitionistic fragment

Mathematics Subject Classification ID

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

Related Items (1)

Cylindric-relativised set algebras have strong amalgamation

Cites Work

• Unnamed Item
• An ascending chain of S4 logics
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The Logics Containing S 4.3

This page was built for publication: A classification of modal logics