Syntax and semantics of modal logics containing S4

DOI10.1007/BF01980737zbMATH Open0716.03008MaRDI QIDQ752686FDOQ752686

Michael Zakharyaschev

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

• Title not available (Why is that?)
• Boolean Algebras with Operators. Part I
• Logics containing K4. Part II
• A lattice of normal modal logics
• An ascending chain of S4 logics
• The Logics Containing S 4.3

Cited In (5)

• A dual-context sequent calculus for the constructive modal logic S4
• Modal Logics Between S 4 and S 5
• Path calculus in the modal logic S4
• A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
• On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic

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

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