<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-09-18 06:35:46Mathematical logic Logic Fuzzy logic Theoretical computer science Temporal logic Monoidal t-norm logic FO LTL BL First-order logic Model checking MTL |
|
| First Page | Document Content | |
|---|---|---|
Date: 2013-09-18 06:35:46Mathematical 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