A. Akbar Tabatabai R. Iemhoff R. Jalali 2022 Uniform Lyndon interpolation for intuitionistic monotone modal logic D. Fernández-Duque A. Palmigiano S. Pinchinat Advances in Modal Logic 14 Colledge Publications 77–96 http://www.aiml.net/volumes/volume14/09-AkbarTabatabai-Iemhoff-Jalali.pdf A. Akbar Tabatabai R. Iemhoff R. Jalali 2024 Uniform lyndon interpolation for basic non-normal modal and conditional logics Journal of Logic and Computation 10.1093/logcom/exae057 J. van Benthem 1991 The Logic of Time 2 Synthese Library 156 Reidel
Dordrecht
 N. Bezhanishvili B. ten Cate R. Iemhoff 2025 Six Proofs of Interpolation for the Modal Logic K 10.48550/ARXIV.2510.16398 M. Bílková 2007 Uniform Interpolation and Propositional Quantifiers in Modal Logics Studia Logica 85 1–31 10.1007/s11225-007-9021-5 P. Blackburn 1990 Nominal Tense Logic and Other Sorted Intensional Frameworks Centre for Cognitive Science, University of Edinburgh P. Blackburn M. de Rijke Y. Venema 2001 Modal Logic Cambridge Tracts in Theoretical Computer Science Cambridge University Press
Cambridge
 P. Blackburn T. Braüner J. L. Kofod 2023 An Axiom System for Basic Hybrid Logic with Propositional Quantifiers Logic, Language, Information, and Computation Springer Nature Switzerland 118–134 10.1007/978-3-031-39784-4_8 P. R. Blackburn T. Braüner J. L. Kofod 2020 Remarks on Hybrid Modal Logic with Propositional Quantfiers P. Hasle D. Jakobsen P. Øhrstrøm The Metaphysics of Time: Themes from Prior Logic and Philosophy of Time 4 Aalborg Universitetsforlag 401–426 J. P. Burgess 1984 Basic Tense Logic D. Gabbay F. Guenthner Handbook of Philosophical Logic II Reidel
Dordrecht
89–133 B. ten Cate 2005 Model theory for extended modal languages University of Amsterdam
Institute for Logic, Language and Computation
 B. ten Cate E. Franconi I. Seylan 2013 Beth Definability in Expressive Description Logics Journal of Artificial Intelligence Research 48 347–414 10.1613/jair.4057 A. Chagrov M. Zakharyaschev 1997 Modal Logic Oxford Logic Guides 35 Oxford Science Publications
Oxford
 G. D'Agostino 2008 Interpolation in non-classical logics Synthese 164 3 421–435 10.1007/s11229-008-9359-x G. D'Agostino G. Lenzi 2015 Bisimulation quantifiers and uniform interpolation for guarded first order logic Theoretical Computer Science 563 75–85 10.1016/j.tcs.2014.08.015 G. D'Agostino G. Lenzi T. French 2006 μ-programs, uniform interpolation and bisimulation quantifiers for modal logics Journal of Applied Non-Classical Logics 16 3-4 297–309 10.3166/jancl.16.297-309 L. Fang Y. Liu H. van Ditmarsch 2019 Forgetting in multi-agent modal logics Artificial Intelligence 266 51–80 10.1016/j.artint.2018.08.003 H. Férée I. van der Giessen S. van Gool I. Shillito 2024 Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL Automated Reasoning Springer Nature Switzerland 43–60 10.1007/978-3-031-63501-4_3 K. Fine 1975 Normal forms in modal logic. Notre Dame Journal of Formal Logic 16 2 229–237 10.1305/ndjfl/1093891703 T. N. French 2006 Bisimulation Quantifiers for Modal Logics The University of Western Australia D. M. Gabbay I. M. Hodkinson M. Reynolds 1994 Temporal Logic: Mathematical Foundations and Computational Aspects Oxford Logic Guides 1 Oxford University Press S. Ghilardi M. Zawadowski 1995 A sheaf representation and duality for finitely presented Heyting algebras Journal of Symbolic Logic 60 3 911–939 10.2307/2275765 S. Ghilardi M. Zawadowski 1995 Undefinability of propositional quantifiers in the modal system S4 Studia Logica 55 2 259–271 10.1007/bf01061237 R. Goldblatt 1992 Logics of Time and Computation 2 CSLI Publications D. Harel D. Kozen J. Tiuryn 2000 Dynamic Logic MIT press R. Iemhoff 2019 Uniform interpolation and the existence of sequent calculi Annals of Pure and Applied Logic 170 11 102711 10.1016/j.apal.2019.05.008 H. Kamp 1968 Tense Logic and the Theory of Linear Order University of California
Los Angeles, CA, USA
 T. Kurahashi 2020 Uniform Lyndon interpolation property in propositional modal logics Archive for Mathematical Logic 59 5-6 659–678 10.1007/s00153-020-00713-y T. Lyon A. Tiu R. Goré R. Clouston 2020 Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents M. Fernández A. Muscholl 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) Leibniz International Proceedings in Informatics (LIPIcs) 152 Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
Dagstuhl, Germany
28:1–28:16 10.4230/LIPIcs.CSL.2020.28 S. Maehara 1961 Craig no Interpolation Theorem Sugaku 12 235–237 10.11429/sugaku1947.12.235 A. Maruyama S. Tojo H. Ono 2001 Decidability of temporal epistemic logics for multi-agent models Proceedings of the ICLP'01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01) 31–40 R. P. McArthur 1976 Tense Logic Reidel Publishing Company
Dordrecht, Boston
 L. S. Moss 2007 Finte Models Constructed From Canonical Formulas Journal of Philosophical Logic 36 6 605–640 10.1007/s10992-007-9052-4 A. M. Pitts 1992 On an interpretation of second order quantification in first order intuitionistic propositional logic Journal of Symbolic Logic 57 1 33–52 10.2307/2275175 A. N. Prior 1957 Time and Modality Clarendon Press
Oxford
 A. N. Prior 1967 Past, Present and Future Clarendon Press
Oxford
 A. N. Prior 1968 Papers on Time and Tense Clarendon Press
Oxford
 A. N. Prior 2003 Papers on Time and Tense new Oxford University Press W. Rautenberg 1983 Modal tableau calculi and interpolation Journal of Philosophical Logic 12 4 403–423 10.1007/bf00249258 K. Sano S. Yamasaki 2020 Subformula property and Craig interpolation theorem of sequent calculi for tense logics N. Olivetti R. Verbrugge Short Papers of Advances in Modal Logic (AiML 2020) 97–101 https://rinekeverbrugge.nl/wp-content/uploads/2024/09/FinalShortPaperMain-AiML2020.pdf V. Y. Shavrukov 1993 Subalgebras of diagonalizable algebras of theories containing arithmetic Dissertationes Mathematicae (Rozprawy Matematyczne) 323 1–82 A. Visser 1996 Uniform Interpolation and Layered Bisimulation Gödel'96: Logical foundations of mathematics, computer science and physics—Kurt Gödel's legacy, Brno, Czech Republic, August 1996 Spriinger-Verlag
Berlin
139–164 http://projecteuclid.org/euclid.lnl/1235417019 A. Visser 1996 Bisimulations, model descriptions and propositional quantifiers Logic Group Preprint Series, No. 161, Utrecht University10.1006/inco.1997.2627 https://dspace.library.uu.nl/handle/1874/26710 F. Wolter 1997 A Note on the Interpolation Property in Tense Logic Journal of Philosophical Logic 26 5 545–551 10.1023/a:1017956722866 M. Zakharyaschev F. Wolter A. Chagrov 2001 Advanced Modal Logic Handbook of Philosophical Logic 3 Springer Netherlands 83–266 10.1007/978-94-017-0454-0_2