Person. Luiz De Sá ORCID · 0009-0003-5731-2224 Papers Intuitionistic Metric Temporal Logic desa-2023-intuitionisticPPDP · 2023 DOI