On the Independent Axiomatizability of Modal and Intermediate Logics

DOI10.1093/logcom/5.3.287zbMath0856.03017OpenAlexW2049433056MaRDI QIDQ4835534

Michael Zakharyashchev, Alexander Chagrov

Publication date: 24 February 1997

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/5.3.287

zbMATH Keywords

Kripke framesmodal logicsintermediate logicscanonical formulasstrongly coatomic latticedifferentiated frameindependent axiomatizations

Mathematics Subject Classification ID

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

Related Items (6)

Yankov Characteristic Formulas (An Algebraic Account) ⋮ Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms ⋮ Canonical formulas for K4. Part II: Cofinal subframe logics ⋮ Remarks on Stable Formulas in Intuitionistic Logic ⋮ On logics with coimplication ⋮ On independent axiomatizability of quasi-normal modal logics

This page was built for publication: On the Independent Axiomatizability of Modal and Intermediate Logics