Hallden-completeness by gluing of Kripke frames

DOI10.1305/NDJFL/1093870446MaRDI QIDQ1165230zbMATH OpenOpenAlexFDO

Authors I. L. Humberstone, Johan van Benthem

Publication date 1983

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093870446

zbMATH Keywords

formation of direct products of serial framesKripke semantics for modal logicnormal modal logics

Mathematics Subject Classification ID

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

Cited in

(8)

• The logic of non-contingency
• Two variants of noncontingency operator
• Halldén completeness for relevant modal logics
• Inverse images of box formulas in modal logic
• Properties of independently axiomatizable bimodal logics
• The undecidability of the disjunction property of propositional logics and other related problems
• Symmetry and completeness in relevant epistemic logic
• Dual counterpart intuitionistic logic

This page was built for publication: Hallden-completeness by gluing of Kripke frames

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