The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$

Archive for Mathematical Logic 63 (1):1-37 (2024)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Remarks on uniform interpolation property.Majid Alizadeh - forthcoming - Logic Journal of the IGPL.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Ranks based on strong amalgamation Fraïssé classes.Vincent Guingona & Miriam Parnes - 2023 - Archive for Mathematical Logic 62 (7):889-929.
Generic existence of interval P-points.Jialiang He, Renling Jin & Shuguo Zhang - 2023 - Archive for Mathematical Logic 62 (5):619-640.
Independent families and some notions of finiteness.Eric Hall & Kyriakos Keremedis - 2023 - Archive for Mathematical Logic 62 (5):689-701.
Interpolation via translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.
C-Quasi-Minimal enumeration degrees below c'.Boris Solon - 2006 - Archive for Mathematical Logic 45 (4):505-517.
Craig's theorem and syntax of abstract logics.Jouko Vaananen - 1982 - Bulletin of the Section of Logic 11 (1-2):82-83.

Analytics

Added to PP
2023-06-15

Downloads
14 (#1,015,252)

6 months
13 (#218,677)

Historical graph of downloads
How can I increase my downloads?