Universal proof theory: feasible admissibility in intuitionistic modal logics

DOI10.1016/j.apal.2024.103526MaRDI QIDQ6652040

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) Metamathematics of constructive systems (03F50) Complexity of proofs (03F20) Intermediate logics (03B55)

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