Switch to: References

Citations of:

A Tableau for Temporal Logic over the Reals

In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 439-458 (2014)

Add citations

You must login to add citations.
  1. Temporal logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
  • Temporal logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.