Finite axiomatizability of quasi-normal modal logics

DOI10.21146/2074-1472-2019-25-1-88-99MaRDI QIDQ5124220zbMATH OpenOpenAlexFDO

Authors I. A. Gorbunov

Publication date 17 September 2020

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2019-25-1-88-99

zbMATH Keywords

finite axiomatizabilityrelative axiomatizationabsolute axiomatizationquasi-normal modal logicsquasi-normal partners

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Some normal extensions of K4.3
• All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable
• On the Independent Axiomatizability of Modal and Intermediate Logics
• Canonical formulas for K4. Part III: the finite model property
• On non-finite axiomatization of \(n\)-modal logics between \(\mathbf{K}^n\) and \(\mathbf{S}5^n\) for finite \(n \geq 3\)

Cited in

(2)

• scientific article; zbMATH DE number 124194 (Why is no real title available?)
• scientific article; zbMATH DE number 6287612 (Why is no real title available?)

This page was built for publication: Finite axiomatizability of quasi-normal modal logics

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