Results 1 -
1 of
1
From local to global temporal logics over Mazurkiewicz traces
- In honour of Professor Christian Choffrut on the occasion of his 60th birthday
"... We review some results on global and local temporal logic on Mazurkiewicz traces. Our main contribution is to show how to derive the expressive completeness of global temporal logic with respect to first order logic [9] from the similar result on local temporal logic [11]. ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
We review some results on global and local temporal logic on Mazurkiewicz traces. Our main contribution is to show how to derive the expressive completeness of global temporal logic with respect to first order logic [9] from the similar result on local temporal logic [11].
