A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential

DOI10.1007/978-3-030-62077-6_1OpenAlexW3095070181MaRDI QIDQ2037977

Stepan Kuznetsov

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-62077-6_1

zbMATH Keywords

complexityinfinitary action logicexponential modalitylambek calculus

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs

This page was built for publication: A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential