Syntax and semantics of modal logics containing S4

DOI10.1007/BF01980737zbMath0716.03008MaRDI QIDQ752686

Michael Zakharyashchev

Publication date: 1988

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

zbMATH Keywords

modal logicextensions of S4

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A lattice of normal modal logics
• Logics containing K4. Part II
• An ascending chain of S4 logics
• The Logics Containing S 4.3
• Boolean Algebras with Operators. Part I

This page was built for publication: Syntax and semantics of modal logics containing S4