はてなブックマーク

In recent years the number of computational tools useful for modal logics, and related logics, has increased significantly, and is continuously increasing. The following is an incomplete list of Accessible theorem provers Verifiers Translators Automated correspondence theory Visualisation Other tools Generators of formulae Collections of problems Related links Your contribution If you'd like somet