mlsanityData to 14 Oct 2026

Six Proofs of Interpolation for the Modal Logic K

arXiv 2510.16398 ↗First posted 18 Oct 2025cs.LOcited by 1

Not on the map. Why?

Abstract (arXiv)

In this chapter, we present six different proofs of Craig interpolation for the modal logic K, each using a different set of techniques (model-theoretic, proof-theoretic, syntactic, automata-theoretic, using quasi-models, and algebraic). We compare the pros and cons of each proof technique.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 18 Oct 2025.

Builds on

No reference list yet.

Built on by

Cited by year

Citing papers per year: 2025: 1.

1 paper.

  1. 2025Interpolation in Knowledge Representationcited by 0