PLTLf Syntax
Propositional Symbols
| Symbol |
Syntax |
| true |
True |
| false |
False |
| [a-z][a-z0-9_]* |
Atomic |
Boolean Operators
| Symbol |
Syntax |
| &, && |
And |
| |, || |
Or |
| !, ~ |
Not |
| ->, => |
Implication |
| <->, <=> |
Equivalence |
Past Temporal Operators
| Symbol |
Syntax |
| Y |
Before |
| O |
Once |
| S |
Since |
| H |
Historically |
