Issues
- 0
Allow quoting symbols with apostrophe "'"
#75 opened by marcofavorito - 1
Add support for PLTL parsing and syntax
#51 opened by marcofavorito - 0
Implement semantics for PLTL
#53 opened by marcofavorito - 0
Add support for PLDL parsing and syntax
#52 opened by marcofavorito - 0
Add support for MSO parsing and syntax
#50 opened by marcofavorito - 0
Add support for FOL semantics
#49 opened by marcofavorito - 0
Add support for FOL parsing and syntax
#48 opened by marcofavorito - 0
Implement semantics for LDL
#47 opened by marcofavorito - 0
Implement semantics for LTL
#14 opened by marcofavorito