Luiz De Sá, Bernardo Toninho, Frank Pfenning. Intuitionistic Metric Temporal Logic. In Santiago Escobar 0001, Vasco T. Vasconcelos, editors, International Symposium on Principles and Practice of Declarative Programming, PPDP 2023, Lisboa, Portugal, October 22-23, 2023. ACM, 2023. [doi]
Abstract is missing.