Universal proof theory: Feasible admissibility in intuitionistic modal logics

Number of the records: 1

1.

SYSNO	0600572
Title	Universal proof theory: Feasible admissibility in intuitionistic modal logics
Author(s)	Akbar Tabatabai, Seyed Amirhossein (MU-W)_{SAI, ORCID} Jalali Keshavarz, Raheleh (UIVT-O)
Source Title	Annals of Pure and Applied Logic. Roč. 176, č. 2 (2025). - : Elsevier
Article number	103526
Document Type	Článek v odborném periodiku
Grant	GA23-04825S GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
	GA22-01137S GA ČR - Czech Science Foundation (CSF), CZ - Czech Republic
Institutional support	MU-W - RVO:67985840
Language	eng
Country	NL
Keywords	admissible rules * feasible disjunction property * intuitionistic modal logics
URL	https://doi.org/10.1016/j.apal.2024.103526
Permanent Link	https://hdl.handle.net/11104/0357882

	File	Download	Size	Commentary	Version	Access
	Akbar_Tabatabai1.pdf	0	755.7 KB		Publisher’s postprint	require

Number of the records: 1