Admissible rules for six intuitionistic modal logics

DOI10.1016/j.apal.2022.103233OpenAlexW4312105493MaRDI QIDQ2683779

Iris van der Giessen

Publication date: 15 February 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.2022.103233

zbMATH Keywords

proof theoryadmissible rulesprovability logicintuitionistic modal logicLax logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Admissible bases via stable canonical rules
• Consequence relations and admissible rules
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
• Proof theory for admissible rules
• On superintuitionistic logics as fragments of proof logic extensions
• Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model
• Provability interpretations of modal logic
• Admissibility of logical inference rules
• Propositional lax logic
• Provability logic and the completeness principle
• Best solving modal equations
• Sequent calculi for intuitionistic Gödel-Löb logic
• An algebraic approach to subframe logics. Intuitionistic case
• Interconnection of the lattices of extensions of four logics
• On the admissible rules of intuitionistic propositional logic
• Bases of Admissible Rules of Lukasiewicz Logic
• Subframization and stabilization for superintuitionistic logics
• Blending margins: the modal logic K has nullary unification type
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• Grothendieck Topology as Geometric Modality
• One hundred and two problems in mathematical logic
• Computational types from a logical perspective
• Unification in intuitionistic logic
• Logic KM: A Biography
• Constructive Modalities with Provability Smack
• Admissible Rules of Modal Logics
• INTUITIONISTIC EPISTEMIC LOGIC

This page was built for publication: Admissible rules for six intuitionistic modal logics