Back to Results
First PageMeta Content
Mathematical logic / Logic / Fuzzy logic / Theoretical computer science / Temporal logic / Monoidal t-norm logic / FO / LTL / BL / First-order logic / Model checking / MTL


The Expressive Completeness of Metric Temporal Logic *2ex
Add to Reading List

Document Date: 2013-09-18 06:35:46


Open Document

File Size: 60,06 KB

Share Result on Facebook