Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with modal-logics

A curated list of projects in awesome lists tagged with modal-logics .

https://github.com/coq-community/comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

coq ctl mathcomp modal-logics pdl

Last synced: 24 Nov 2024