Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 13 Modal Logic Open Source Projects

Open source projects categorized as Modal Logic
Categories > Modal Logic
Modallogic ⭐ 316
Modal Logic Playground
most recent commit 3 years ago
Mtt Lang ⭐ 31
A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
most recent commit 2 years ago
Modal_logic ⭐ 21
Final Year Masters Project: modal logic solver tableaux
most recent commit 2 years ago
Mlsolver ⭐ 19
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
most recent commit 7 years ago
Infseqext ⭐ 13
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
most recent commit a year ago
Pypl ⭐ 12
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
most recent commit a year ago
Modallibrary ⭐ 11
Modal Logic Library in Coq
most recent commit 2 years ago
Llm Theory Of Mind ⭐ 11
Testing Theory of Mind (ToM) in language models with epistemic logic
most recent commit 6 months ago
Solelogics.jl ⭐ 10
Computational logic in Julia!
most recent commit 5 months ago
Hintikkasworld ⭐ 8
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
most recent commit 2 years ago
Metalambda ⭐ 8
most recent commit 6 months ago
A La Mode ⭐ 7
A neural network model builder, leveraging a neuro-symbolic interface.
most recent commit 10 months ago
Modaldecisiontrees.jl ⭐ 7
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
most recent commit 5 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.