Noncompactness in propositional modal logic

DOI10.2307/2272419zbMath0262.02023OpenAlexW2071436802MaRDI QIDQ5677459

S. K. Thomason

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272419

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categoricity and completeness of theories (03C35)

Related Items (5)

A decidable noncompact extension of the logic S4 ⋮ Mathematical modal logic: A view of its evolution ⋮ On non-compact logics in NEXT(KTB) ⋮ Modal companions of intermediate propositional logics ⋮ Noncompact extensions of the logic S4

Cites Work

• That All Normal Extensions of S4.3 Have the Finite Model Property

This page was built for publication: Noncompactness in propositional modal logic