Universal proof theory: Feasible admissibility in intuitionistic modal logics

Amirhossein Akbar Tabatabai, Raheleh Jalali

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	103526
Journal	Annals of Pure and Applied Logic
Volume	176
Issue number	2
Early online date	23 Oct 2024
DOIs	https://doi.org/10.1016/j.apal.2024.103526
Publication status	Published - 28 Feb 2025

Access to Document

@article{2394c76d8d114e5286e36be176d7d078,

title = "Universal proof theory: Feasible admissibility in intuitionistic modal logics",

author = "\{Akbar Tabatabai\}, Amirhossein and Raheleh Jalali",

year = "2025",

month = feb,

day = "28",

doi = "10.1016/j.apal.2024.103526",

language = "English",

volume = "176",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - Universal proof theory

T2 - Feasible admissibility in intuitionistic modal logics

AU - Akbar Tabatabai, Amirhossein

AU - Jalali, Raheleh

PY - 2025/2/28

Y1 - 2025/2/28

U2 - 10.1016/j.apal.2024.103526

DO - 10.1016/j.apal.2024.103526

M3 - Article

SN - 0168-0072

VL - 176

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

IS - 2

M1 - 103526

ER -