Expressiveness for Highly Nested Expressions in Linear Temporal Logic


Mitchell, Bill (1994) Expressiveness for Highly Nested Expressions in Linear Temporal Logic. Journal of Logic and Computation, 4, (3), 263-272.

Download

[img] Postscript
Download (129Kb)

Description/Abstract

In the case where one only uses the modalities always, sometime and next it is shown that nesting modalities do not constrain a model in the limit any more than a non-nested formula. It is also proved that when the until modality operator is included then nesting modalities does constrain the limit of a model more than any non-nested formula.

Item Type: Article
ISSNs: 0955-792X
Related URLs:
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > IT Innovation Centre
ePrint ID: 266059
Date Deposited: 04 Jul 2008 20:37
Last Modified: 27 Mar 2014 20:11
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266059

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics