Skip navigation
Skip navigation

Semipositive LTL with an uninterpreted past operator

Slaney, John K

Description

$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 (finite) 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...[Show more]

CollectionsANU Research Publications
Date published: 2005
Type: Journal article
URI: http://hdl.handle.net/1885/83347
Source: Logic Journal of the IGPL
DOI: 10.1093/jigpal/jzi015

Download

File Description SizeFormat Image
01_Slaney_Semipositive_LTL_with_an_2005.pdf388.27 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator