Logic Journal of the IGPL 13 (2):211-229 (2005)

$LTL is a version of linear temporal logic in which eventualities are not expressible, but in which there is a sentential constant $ intended to be true just at the end of some behaviour of interest—that is, to mark the end of the accepted words of some language. There is an effectively recognisable class of $LTL formulae which express behaviours, but in a sense different from the standard one of temporal logics like LTL or CTL. This representation is useful for solving a class of decision processes with temporally extended goals, which in turn are useful for representing an important class of AI planning problems
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzi015
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: 72,577
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Past Probabilities.Sven Ove Hansson - 2010 - Notre Dame Journal of Formal Logic 51 (2):207-223.
What is so Special with the Powerset Operation?Athanassios Tzouvaras - 2004 - Archive for Mathematical Logic 43 (6):723-737.
The Suszko Operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181 - 231.
Temporal Languages for Epistemic Programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.
Too Good to Be “Just True”.Marcus Rossberg - 2013 - Thought: A Journal of Philosophy 2 (1):1-8.
Degrees of Interpretation.John N. Phillips - 1972 - Philosophy of Science 39 (3):315-321.
Context-Sensitive Transitive Closure Operators.Iain A. Stewart - 1994 - Annals of Pure and Applied Logic 66 (3):277-301.
Shifting Frames: From Divided to Distributed Psychologies of Scientific Agents.Peter J. Taylor - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:304-310.
The Contemporary Significance of Confucianism.Tang Yijie & Yan Xin - 2008 - Frontiers of Philosophy in China 3 (4):477-501.


Added to PP index

Total views
2 ( #1,458,195 of 2,533,585 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,585 )

How can I increase my downloads?


My notes