Abstract
We introduce a new way of defining metric temporal logic on a real-numbers flow of time. The idea is based on having semantics which allow us to refer to a single universal clock of arbitrary precision in order to impose metric constraints. This gives us a new metric temporal logic which is very expressive, is natural to use, can be applied in very general situations, affords a wide range of useful abbreviations and operators, has a PSPACE decision procedure, and has the promise of being amenable to standard reasoning techniques. Thus it has many advantages over the existing metric temporal logics. We provide a decision procedure via conversion to a non-metric temporal logic, hence doing metric reasoning with no clocks.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.3166/jancl.20.437-455
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Diodoran Modalities.A. N. Prior - 1955 - Philosophical Quarterly 5 (20):205-213.
Diodoran Modalities.A. N. Prior - 1956 - Journal of Symbolic Logic 21 (2):199-200.
The Complexity of Temporal Logic Over the Reals.Mark Reynolds - 2010 - Annals of Pure and Applied Logic 161 (8):1063-1096.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
Predicate Metric Tense Logic for 'Now' and 'Then'.M. J. Cresswell - 2013 - Journal of Philosophical Logic 42 (1):1-24.
A Logic for Metric and Topology.Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):795 - 828.
Extrinsic Temporal Metrics.Bradford Skow - 2010 - In Dean Zimmerman (ed.), Oxford Studies in Metaphysics: Volume 5. Oxford University Press.
Light Clocks and the Clock Hypothesis.Samuel C. Fletcher - 2013 - Foundations of Physics 43 (11):1369-1383.
Computer Science Temporal Logics Need Their Clocks.Ildikó Sain - 1989 - Bulletin of the Section of Logic 18 (4):153-160.
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
A Decidable Temporal Logic of Parallelism.Mark Reynolds - 1997 - Notre Dame Journal of Formal Logic 38 (3):419-436.
Revolutions in the Times: Clocks and the Temporal Structures of Everyday Life.Paul Glennie & Nigel Thrift - 2005 - In David N. Livingstone & Charles W. J. Withers (eds.), Geography and Revolution. University of Chicago Press.

Analytics

Added to PP index
2013-12-19

Total views
20 ( #560,831 of 2,520,893 )

Recent downloads (6 months)
1 ( #405,457 of 2,520,893 )

How can I increase my downloads?

Downloads

My notes