On canonicity and strong completeness conditions in intermediate propositional logics

DOI10.1023/A:1005203020752zbMath0958.03017OpenAlexW1604199379MaRDI QIDQ1970920

Silvio Ghilardi, Pierangelo Miglioli

Publication date: 19 March 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005203020752

zbMATH Keywords

Kripke semanticsstrong completenessintermediate propositional logicsstrong \(\omega\)-completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Related Items

All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete