modal-logic
Here are 58 public repositories matching this topic...
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
- Updated
- Python
A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web
- Updated
- OCaml
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
- Updated
- C++
Final Year Masters Project: modal logic solver tableaux
- Updated
- Python
Testing Theory of Mind (ToM) in language models with epistemic logic
- Updated
- Python
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
- Updated
- Python
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
- Updated
- Coq
Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
- Updated
- Lean
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
- Updated
- Julia
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
- Updated
- TeX
Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!
- Updated
- Julia
Compilation of modal logic based functional language ML5 to JavaScript.
- Updated
- Agda
Library and application for encoding non-classical logics into classical higher-order logic.
- Updated
- Scala
A neural network model builder, leveraging a neuro-symbolic interface.
- Updated
- Python
Recursive Consciousness: Modeling Minds in Forgetful Systems
- Updated
- Jupyter Notebook
Tableau-based theorem prover for public announcement logic
- Updated
- Clojure
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."