@misc{indiciaea158e905607a, title = {Six Proofs of Interpolation for the Modal Logic K}, author = {Nick Bezhanishvili and Balder ten Cate and Rosalie Iemhoff}, year = {2025}, url = {https://arxiv.org/abs/2510.16398}, note = {Source identifier: 2510.16398} }