Extensions of Solovay's system \(\mathbf{S}\) without independent sets of axioms

DOI10.1016/J.APAL.2023.103360MaRDI QIDQ6050171

I. A. Gorbunov, Dmitry Shkatov

Publication date: 12 October 2023

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

zbMATH Keywords

independent axiomatizabilitylattices of logicsquasi-normal mmodal logic

Mathematics Subject Classification ID

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

Cites Work

• A propositional logic with explicit fixed points
• Provability interpretations of modal logic
• On independent axiomatizability of quasi-normal modal logics
• SOME QUESTIONS IN THE THEORY OF VARIETIES OF GROUPS
• On the Independent Axiomatizability of Modal and Intermediate Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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