modal-logic
Here are 42 public repositories matching this topic...
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
-
Updated
Oct 14, 2017 - Python
A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
-
Updated
May 29, 2022 - OCaml
Final Year Masters Project: modal logic solver tableaux
-
Updated
May 26, 2022 - Python
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
-
Updated
Nov 28, 2024 - Python
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
-
Updated
Jan 7, 2023 - Coq
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
-
Updated
Aug 23, 2024 - Julia
Testing Theory of Mind (ToM) in language models with epistemic logic
-
Updated
Dec 13, 2023 - Python
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
-
Updated
Oct 11, 2023 - TeX
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
-
Updated
Dec 3, 2024 - Julia
Compilation of modal logic based functional language ML5 to JavaScript.
-
Updated
Apr 19, 2017 - Agda
Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
-
Updated
Dec 3, 2024 - Lean
A neural network model builder, leveraging a neuro-symbolic interface.
-
Updated
Aug 17, 2023 - Python
Library and application for encoding non-classical logics into classical higher-order logic.
-
Updated
May 8, 2024 - Scala
Tableau-based theorem prover for public announcement logic
-
Updated
Jan 3, 2015 - Clojure
A tool for translating higher-order modal logic problems into classical higher-order logic
-
Updated
Jan 19, 2021 - Python
A Kripke structure modelling framework
-
Updated
Jan 7, 2023 - TypeScript
Improve this page
Add a description, image, and links to the modal-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the modal-logic topic, visit your repo's landing page and select "manage topics."