Issues
- 0
Explain difference between "propositional not" and "logical not" in LTLf and PLTLf
#10 opened by marcofavorito - 1
Typo in LDLf test expression
#9 opened by marcofavorito - 0
Don't allow quoted names to be empty
#8 opened by marcofavorito - 1
Make upper-case reserved
#4 opened by marcofavorito - 1
Add PLTL and PLDL
#5 opened by marcofavorito - 0
Typo in section "2.1 Characters"
#1 opened by marcofavorito