#
modal-logics
Here are 5 public repositories matching this topic...
MOLOSS is a satisfiability solver for modal logics
-
Updated
Feb 3, 2019 - OCaml
The definitive DCEC theorem prover built on SNARK.
-
Updated
Nov 28, 2023 - Java
A repository of ASP planning benchmarks
-
Updated
Feb 8, 2019 - ASP
A theorem prover for proof-theoretic higher order modal logic
-
Updated
May 20, 2023 - C++
Improve this page
Add a description, image, and links to the modal-logics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the modal-logics topic, visit your repo's landing page and select "manage topics."