Intuitionistic Metric Temporal Logic.

Luiz De S, Bernardo Toninho, Frank Pfenning

Browse the full PPDP paper archive.