Intuitionistic Metric Temporal Logic. - Luiz De Sá; Bernardo Toninho; Frank Pfenning (PPDP, 2023)