A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential
From MaRDI portal
Publication:2037977
DOI10.1007/978-3-030-62077-6_1OpenAlexW3095070181MaRDI QIDQ2037977
Publication date: 8 July 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-62077-6_1
Related Items (1)
This page was built for publication: A \(\varPi_1^0\)-bounded fragment of infinitary action logic with exponential