Semipositive LTL with an Uninterpreted Past Operator

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

Abstract

$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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.

Analytics

Added to PP
2015-02-04

Downloads
10 (#1,025,836)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references