Post Completeness and Free Algebras

DOI10.1002/MALQ.19800262203zbMath0464.03020OpenAlexW2010447900MaRDI QIDQ3914958

Silvio Valentini, Giovanni Sambin

Publication date: 1980

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

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

zbMATH Keywords

modal logicmaximal extensionsfree modal algebrasPost numbers

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (5)

Post complete and 0-axiomatizable modal logics ⋮ Algebraic semantics for quasi-classical modal logics ⋮ Undecidable properties of extensions of the logic of provability ⋮ Varieties of logical matrices ⋮ Undecidable properties of extensions of provability logic. II

This page was built for publication: Post Completeness and Free Algebras