Universal proof theory: feasible admissibility in intuitionistic modal logics

DOI10.1016/J.APAL.2024.103526MaRDI QIDQ6652040zbMATH OpenFDO

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

• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3706414 (Why is no real title available?)
• scientific article; zbMATH DE number 1980925 (Why is no real title available?)
• scientific article; zbMATH DE number 819737 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• A uniform tableau method for intuitionistic modal logics. I
• A(nother) characterization of intuitionistic propositional logic
• Admissibility of logical inference rules
• Admissible Rules of Lukasiewicz Logic
• Admissible Rules of Modal Logics
• Admissible rules for six intuitionistic modal logics
• Bases of admissible rules of Łukasiewicz logic
• Best solving modal equations
• Complete problems for deterministic polynomial time
• Complexity of admissible rules
• Frege systems for extensible modal logics
• Intermediate logics and Visser's rules
• On an intuitionistic modal logic
• On lengths of proofs in non-classical logics
• On some intuitionistic modal logics
• On the admissible rules of intuitionistic propositional logic
• On the complexity of the disjunction property in intuitionistic and modal logics
• On the computational content of intuitionistic propositional proofs
• On the rules of intermediate logics
• One hundred and two problems in mathematical logic
• Propositional lax logic
• The complexity of admissible rules of Łukasiewicz logic
• The complexity of the disjunction and existential properties in intuitionistic logic
• The disjunction property of intermediate propositional logics
• Unification in intuitionistic logic
• Uniform interpolation and sequent calculi in modal logic
• Uniform interpolation and the existence of sequent calculi
• 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)