Agata Ciabattoni, Timo Lang, Revantha Ramanayake. Analytic Proofs for Tense Logic. In Gian Luca Pozzato, Tarmo Uustalu, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings. Volume 15980 of Lecture Notes in Computer Science, pages 220-237, Springer, 2025. [doi]
Abstract is missing.