Unary Interpretability Logics for Sublogics of the Interpretability Logic IL

De Rijke introduced a unary interpretability logic il , and proved that il is the unary counterpart of the binary interpretability logic IL . In this paper, we find the unary counterparts of the sublogics of IL .

Saved in:
Bibliographic Details
Published inStudia logica Vol. 112; no. 3; pp. 693 - 721
Main Author Okawa, Yuya
Format Journal Article
LanguageEnglish
Published Dordrecht Springer Netherlands 2024
Subjects
Computational Linguistics
Education
Logic
Mathematical Logic and Foundations
Philosophy
Interpretability logic
Unary interpretability logic
Online AccessGet full text

Cover

More Information
Summary:De Rijke introduced a unary interpretability logic il , and proved that il is the unary counterpart of the binary interpretability logic IL . In this paper, we find the unary counterparts of the sublogics of IL .
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-023-10068-z