whitemech/pylogics

Issues

• Allow quoting symbols with apostrophe "'"

  #75 opened 3 years ago by marcofavorito
  0

• Add support for PLTL parsing and syntax

  #51 opened 3 years ago by marcofavorito
  1

• Implement semantics for PLTL

  #53 opened 3 years ago by marcofavorito
  0

• Add support for PLDL parsing and syntax

  #52 opened 3 years ago by marcofavorito
  0

• Add support for MSO parsing and syntax

  #50 opened 3 years ago by marcofavorito
  0

• Add support for FOL semantics

  #49 opened 3 years ago by marcofavorito
  0

• Add support for FOL parsing and syntax

  #48 opened 3 years ago by marcofavorito
  0

• Implement semantics for LDL

  #47 opened 3 years ago by marcofavorito
  0

• Implement semantics for LTL

  #14 opened 3 years ago by marcofavorito
  0