References

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