Tableau_K_modal_logic

Deterministic tableau method for K modal logic. Implemented in Standard ML.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
K-Tab.sml		K-Tab.sml
README.md		README.md
tableau.pdf		tableau.pdf
test5.sml		test5.sml

Provide feedback