Hallden-completeness by gluing of Kripke frames

DOI10.1305/ndjfl/1093870446zbMath0487.03008OpenAlexW1971889207MaRDI QIDQ1165230

I. L. Humberstone, J. F. A. K. 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

normal modal logicsformation of direct products of serial framesKripke semantics for modal logic

Mathematics Subject Classification ID

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

Related Items (6)

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

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