Supported Logics
Each logic formalism is associated to a string identifier, to make it easier for the user to navigate the APIs.
Follows the table with the supported features for each formal language:
| Logics | Identifier | Parsing | Syntax | Semantics |
|---|---|---|---|---|
| Propositional Logic | pl |
 |
|
|
| Linear Temporal Logic (fin. traces) | ltl |
|
|
 |
| Past Linear Temporal Logic (fin. traces) | pltl |
|
|
|
| Linear Dynamic Logic (fin. traces) | ldl |
|
|
|
| Past Linear Dynamic Logic (fin. traces) | pldl |
|
|
|
| First-order Logic | fol |
|
|
|
| Monadic Second-order Logic | mso |
|
|
|