Post Completeness and Ultrafilters

DOI10.1002/MALQ.19740202502zbMath0298.02014OpenAlexW2105922050MaRDI QIDQ4052078

Krister Segerberg, David Makinson

Publication date: 1974

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19740202502

Mathematics Subject Classification ID

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

Related Items (3)

Post complete and 0-axiomatizable modal logics ⋮ Denumerably many Post-complete normal modal logics with propositional constants ⋮ Algebraic semantics for quasi-classical modal logics

This page was built for publication: Post Completeness and Ultrafilters