marcofavorito / tl-grammars

Grammars for temporal logic formalisms.

https://marcofavorito.me/tl-grammars/

marcofavorito/tl-grammars Issues

Explain difference between "propositional not" and "logical not" in LTLf and PLTLf
Updated 3 years ago
Typo in LDLf test expression
Updated 3 years ago1
Don't allow quoted names to be empty
Updated 3 years ago
Make upper-case reserved
Closed 3 years ago1
Add PLTL and PLDL
Closed 3 years ago1
Typo in section "2.1 Characters"
Closed 3 years ago