Exécution de notre outil de synthèse sur un nouvel article
Vérifiez l’article ci-dessous, puis lancez sa synthèse.
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)
Licence : non indiquée (tous droits réservés)
Publié le 20 Sep. 2023