modal-logics

There are 0 repository under modal-logics topic.

coq-community / comp-dec-modal
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
coq mathcomp modal-logics ctl pdl
Language:Coq 8
jogiet / MOLOSS
MOLOSS is a satisfiability solver for modal logics
modal-logics solver smt
Language:OCaml 4
RAIRLab / ShadowProver
The definitive DCEC theorem prover built on SNARK.
java modal-logics theorem-prover
Language:Java 1
James-Oswald / EminenceProver
A theorem prover for proof-theoretic higher order modal logic
cpp higher-order-logic modal-logics theorem-prover
Language:C++
Webastronaut / asp-planning-benchmarks
A repository of ASP planning benchmarks
answer-set-programming modal-logics temporal-logic clingo planning
Language:ASP

coq-community / comp-dec-modal