Universal proof theory: Feasible admissibility in intuitionistic modal logics

Amirhossein Akbar Tabatabai, Raheleh Jalali

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Article number103526
JournalAnnals of Pure and Applied Logic
Volume176
Issue number2
Early online date23 Oct 2024
DOIs
Publication statusPublished - 28 Feb 2025

Cite this