LTLf Syntax
Propositional Symbols
| Symbol |
Syntax |
| true |
True |
| false |
False |
| [a-z][a-z0-9_]* |
Atomic |
Boolean Operators
| Symbol |
Syntax |
| &, && |
And |
| |, || |
Or |
| !, ~ |
Not |
| ->, => |
Implication |
| <->, <=> |
Equivalence |
Future Temporal Operators
| Symbol |
Syntax |
| X |
Next |
| WX |
WeakNext |
| U |
Until |
| R |
Release |
| F |
Eventually |
| G |
Always |