Finite axiomatizability of quasi-normal modal logics

DOI10.21146/2074-1472-2019-25-1-88-99zbMATH Open1446.03042OpenAlexW2979577887MaRDI QIDQ5124220FDOQ5124220

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

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\)

zbMATH Keywords

finite axiomatizabilityrelative axiomatizationabsolute axiomatizationquasi-normal modal logicsquasi-normal partners

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)