Theory file for the modal logic K, a sample file for optional conditions, and problem instance files for small modal formulas
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool