Expressiveness for Highly Nested Expressions in Linear Temporal Logic
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
1994.
|
| Subjects: | |
| Online Access: | Get fulltext |
| LEADER | 00728 am a22001213u 4500 | ||
|---|---|---|---|
| 001 | 266059 | ||
| 042 | |a dc | ||
| 100 | 1 | 0 | |a Mitchell, Bill |e author |
| 245 | 0 | 0 | |a Expressiveness for Highly Nested Expressions in Linear Temporal Logic |
| 260 | |c 1994. | ||
| 856 | |z Get fulltext |u https://eprints.soton.ac.uk/266059/1/Nest_Exp_LTL_Journal_of_Logic_and_Computation_Vol_4_No_3_1994.ps | ||
| 520 | |a 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. | ||
| 655 | 7 | |a Article | |