Skip to content
Commit b64f0eee authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Added modal operators to formulas. 

Solver still to implement representation theorem.
parent a77f26ef
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment