bbentzen / mpl

A Henkin-style completeness proof for the modal logic S5
13Updated 3 years ago

Related projects

Alternatives and complementary repositories for mpl