@inproceedings{desa-2023-intuitionistic, series={PPDP 2023}, title={Intuitionistic Metric Temporal Logic}, url={http://dx.doi.org/10.1145/3610612.3610621}, DOI={10.1145/3610612.3610621}, booktitle={International Symposium on Principles and Practice of Declarative Programming}, publisher={ACM}, author={De Sá, Luiz and Toninho, Bernardo and Pfenning, Frank}, year={2023}, month=Oct, pages={1–13}, collection={PPDP 2023} }