Post completeness in modal logic

DOI10.2307/2272418zbMath0268.02012OpenAlexW2152399709MaRDI QIDQ5684643

Krister Segerberg

Publication date: 1973

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

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

Mathematics Subject Classification ID

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

Related Items (7)

Some embedding theorems for conditional logic ⋮ The single-minded pursuit of consistency and its weakness ⋮ Post complete and 0-axiomatizable modal logics ⋮ Denumerably many Post-complete normal modal logics with propositional constants ⋮ Continuum many maximal consistent normal bimodal logics with inverses ⋮ The power of a propositional constant ⋮ Rough polyadic modal logics

Cites Work

• Unnamed Item
• A note on the regular and irregular modal systems of Lewis
• Some embedding theorems for modal logic
• The existence postulate and non-regular systems of modal logic
• Results concerning the decision problem of Lewis's calculi S3 and S6
• On the number of complete extensions of the Lewis systems of sentential calculus

This page was built for publication: Post completeness in modal logic