Extensions of Solovay's system S without independent sets of axioms

DOI10.1016/J.APAL.2023.103360MaRDI QIDQ6050171zbMATH OpenFDO

Authors I. A. Gorbunov, Dmitry Shkatov

Publication date 12 October 2023

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2023.103360

zbMATH Keywords

independent axiomatizabilitylattices of logicsquasi-normal mmodal logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites work

• A propositional logic with explicit fixed points
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• Modal logic
• On independent axiomatizability of quasi-normal modal logics
• On the Independent Axiomatizability of Modal and Intermediate Logics
• Provability interpretations of modal logic
• SOME QUESTIONS IN THE THEORY OF VARIETIES OF GROUPS

This page was built for publication: Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms

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