Universal proof theory: feasible admissibility in intuitionistic modal logics

DOI10.1016/J.APAL.2024.103526MaRDI QIDQ6652040FDOQ6652040

Authors: Amirhossein Akbar Tabatabai, Raheleh Jalali 

Publication date: 12 December 2024

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

zbMATH Keywords

admissible rulesintuitionistic modal logicsfeasible disjunction property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Complexity of proofs (03F20) Metamathematics of constructive systems (03F50)

Cites Work

• Title not available (Why is that?)
• Admissibility of logical inference rules
• On an intuitionistic modal logic
• Best solving modal equations
• On the admissible rules of intuitionistic propositional logic
• Bases of admissible rules of Łukasiewicz logic
• Admissible Rules of Lukasiewicz Logic
• Unification in intuitionistic logic
• Intermediate logics and Visser's rules
• Admissible Rules of Modal Logics
• Complexity of admissible rules
• The disjunction property of intermediate propositional logics
• One hundred and two problems in mathematical logic
• Complete problems for deterministic polynomial time
• On lengths of proofs in non-classical logics
• On some intuitionistic modal logics
• The complexity of the disjunction and existential properties in intuitionistic logic
• Frege systems for extensible modal logics
• Title not available (Why is that?)
• On the computational content of intuitionistic propositional proofs
• Propositional lax logic
• On the rules of intermediate logics
• A(nother) characterization of intuitionistic propositional logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the complexity of the disjunction property in intuitionistic and modal logics
• The complexity of admissible rules of Łukasiewicz logic
• Title not available (Why is that?)
• Uniform interpolation and sequent calculi in modal logic
• Uniform interpolation and the existence of sequent calculi
• A uniform tableau method for intuitionistic modal logics. I
• Admissible rules for six intuitionistic modal logics
• Universal proof theory: semi-analytic rules and Craig interpolation

This page was built for publication: Universal proof theory: feasible admissibility in intuitionistic modal logics

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