scientific article; zbMATH DE number 1304994
From MaRDI portal
Publication:4251916
zbMath0928.03022MaRDI QIDQ4251916
Thomas A. Henzinger, Pierre-Yves Schobbens, Jean-François Raskin
Publication date: 12 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessdecidabilityaxiomatizationEvent Clock Logiclinear temporal logic of the real numbersMetric Interval Temporal Logicpropositional real-time linear temporal logics with past
Related Items (9)
The logic of ``initially and ``next: complete axiomatization and complexity ⋮ Time-Bounded Verification ⋮ A study on shuffle, stopwatches and independently evolving clocks ⋮ Continuous time temporal logic with counting ⋮ On the expressiveness of TPTL and MTL ⋮ Timer formulas and decidable metric temporal logic ⋮ Decidable metric logics ⋮ Realizability of Real-Time Logics ⋮ Product interval automata
This page was built for publication:
