Laurent Ferier

  • Citations Per Year
Learn More
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic with past (MetricIntervalTL). The completeness proof consists of an e ective proof building procedure for EventClockTL. From this result we obtain a complete axiomatization of(More)
  • 1