modal-logics

There are 5 repositories under modal-logics topic.

coq-community/comp-dec-modal
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
Language:Coq8 4 22
jogiet/MOLOSS
MOLOSS is a satisfiability solver for modal logics
Language:OCaml4 2 72
RAIRLab/ShadowProver
The definitive DCEC theorem prover built on SNARK.
Language:Java1 10 10
James-Oswald/EminenceProver
A theorem prover for proof-theoretic higher order modal logic
Language:C++1 1
Webastronaut/asp-planning-benchmarks
A repository of ASP planning benchmarks
Language:ASP2 01