Running summarizing tools on a new article
Check the paper below, then start its synthesis.
Unary Interpretability Logics for Sublogics of the Interpretability Logic $$\textbf{IL}$$
Yuya Okawa (Chiba University)
Studia Logica
DOI: 10.1007/s11225-023-10068-z (Computer Science)
License: not stated (all rights reserved)
Published on 20 Sep. 2023