On the Independent Axiomatizability of Modal and Intermediate Logics

DOI10.1093/LOGCOM/5.3.287MaRDI QIDQ4835534zbMATH OpenOpenAlexFDO

Authors Alexander Vasil'evich Chagrov, Michael Zakharyaschev

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

modal logicsKripke framescanonical formulasintermediate logicsstrongly coatomic latticedifferentiated frameindependent axiomatizations

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3873298
• Finite and finitely separable intermediate propositional logics
• Not every ``tabular predicate logic is finitely axiomatizable
• Independence in higher-order subclassical logic
• Prefinitely axiomatizable modal and intermediate logics
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• scientific article; zbMATH DE number 937394
• scientific article; zbMATH DE number 3880661
• Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
• A new modal Lindström theorem

Cited in

(17)

• Canonical formulas for K4. Part II: Cofinal subframe logics
• Yankov Characteristic Formulas (An Algebraic Account)
• Inequality without irreflexivity
• Remarks on Stable Formulas in Intuitionistic Logic
• scientific article; zbMATH DE number 1975415 (Why is no real title available?)
• Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms
• Hintikka's independence-friendly logic meets Nelson's realizability
• Invariant logics
• scientific article; zbMATH DE number 5734948 (Why is no real title available?)
• Modal companions of intermediate propositional logics
• Finite axiomatizability of quasi-normal modal logics
• The structure of the lattice of normal extensions of modal logics with cyclic axioms
• Modal dependence logics: axiomatizations and model-theoretic properties
• scientific article; zbMATH DE number 3859092 (Why is no real title available?)
• On logics with coimplication
• scientific article; zbMATH DE number 937394 (Why is no real title available?)
• On independent axiomatizability of quasi-normal modal logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4835534)