On the Independent Axiomatizability of Modal and Intermediate Logics

DOI10.1093/LOGCOM/5.3.287zbMATH Open0856.03017OpenAlexW2049433056MaRDI QIDQ4835534FDOQ4835534

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

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

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)

Cited In (17)

• Yankov Characteristic Formulas (An Algebraic Account)
• Inequality without irreflexivity
• Remarks on Stable Formulas in Intuitionistic Logic
• Title not available (Why is that?)
• Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms
• Hintikka's independence-friendly logic meets Nelson's realizability
• Invariant logics
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• On logics with coimplication
• Title not available (Why is that?)
• On independent axiomatizability of quasi-normal modal logics
• Canonical formulas for K4. Part II: Cofinal subframe 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)