Open Research Index

Fischer-Servi logic does not have interpolation

Rodrigo Nicolau Almeida, Nick Bezhanishvili, Simon Lemal

arXivarxiv/2604.02082Apr 2, 2026math.LOscore 0

We prove that the Fischer-Servi logic $\mathsf{IK}$ does not have the (Craig) interpolation property. This is obtained by showing that the corresponding class of modal Heyting algebras lacks the amalgamation property. We also generalize this result to some extensions of the Fischer-Servi logic such as $\mathsf{IT}$, $\mathsf{IK4}$, $\mathsf{IS4}$, and $\mathsf{IGL}$.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2604.02082
curl -X POST /api/v1/records/arxiv/2604.02082/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.02082/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'