The fixed point and the Craig interpolation properties for sublogics of IL

The fixed point and the Craig interpolation properties for sublogics of IL

We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic IL . We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Archive for mathematical logic 2024-02, Vol.63 (1-2), p.1-37
Hauptverfasser: Iwata, Sohei, Kurahashi, Taishi, Okawa, Yuya
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Interpolation
Mathematical Logic and Foundations
Mathematics
Mathematics and Statistics
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic IL . We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.
ISSN:0933-5846
1432-0665
DOI:10.1007/s00153-023-00882-6