#
modal-logics
Here are 6 public repositories matching this topic...
MOLOSS is a satisfiability solver for modal logics
-
Updated
Feb 3, 2019 - OCaml
HOL-Light Library for Modal Systems
theorem-proving proof-assistant higher-order-logic interactive-theorem-proving modal-logics automated-theorem-proving hol-light
-
Updated
Oct 29, 2024 - 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 proof of concept for a theorem prover for DCEC reasoning
-
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."