# Six Proofs of Interpolation for the Modal Logic K

arXiv: https://arxiv.org/abs/2510.16398 · HTML: https://mlsanity.com/paper/2510.16398/

## Key facts

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

## Built on by (most cited first, 1 of 1)

- [Interpolation in Knowledge Representation](https://mlsanity.com/paper/2512.08833/) (2025)

## 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.