/boxes-and-diamonds

Open textbook on modal logic

Primary LanguageTeXCreative Commons Attribution 4.0 InternationalCC-BY-4.0

Stargazers