Open Research Index

Interpolation in the Inquisitive Hierarchy

Josef v. H. Doyle, Wesley Fussner

arXivarxiv/2610.32366Oct 23, 2026math.LOscore 0

We show that each of the infinitely many extensions of the basic inquisitive logic has the Craig interpolation property, and deduce from this that each of these extensions also has the Beth definability property. These results stand in contrast to existing characterizations of interpolation within lattices of extensions, in which the distribution of logics with interpolation is sparse.

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