Fischer-Servi logic IK does not have Craig interpolation because the corresponding class of modal Heyting algebras lacks amalgamation.
Aguilera & Leonardo Pacheco (2025):Intuitionistic Gödel-Löb without Sharps.ACM Trans
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
The paper establishes syntactic correspondences between non-wellfounded and cyclic proofs for LTL in linear nested sequents by proving completeness relative to saturation recurrence and introducing an unraveling shift procedure.
citing papers explorer
-
Fischer-Servi logic does not have interpolation
Fischer-Servi logic IK does not have Craig interpolation because the corresponding class of modal Heyting algebras lacks amalgamation.
-
Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents
The paper establishes syntactic correspondences between non-wellfounded and cyclic proofs for LTL in linear nested sequents by proving completeness relative to saturation recurrence and introducing an unraveling shift procedure.