A symbolic model checker for Dynamic Epistemic Logic.
-
Updated
Mar 1, 2026 - Haskell
#
epistemic-logic
Here are 31 public repositories matching this topic...
Testing Theory of Mind (ToM) in language models with epistemic logic
nlp natural-language-processing natural-language english dataset pal language-model natural-language-inference modal-logic tom epistemic-logic nli theory-of-mind social-reasoning gpt-4 llm chatgpt epistemic-reasoning public-announcement-logic muddy-children
-
Updated
Dec 13, 2023 - Python
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
-
Updated
Oct 26, 2025 - TeX
A stateful AI agent framework powered by the Cognitive Lattice to solve complex tasks with persistent memory and reliable tool orchestration.
persistent-memory ai-planning ai-framework multi-agent-systems epistemic-logic cognitive-computing modular-ai session-tracking agent-framework ai-tools reasoning-engine tool-selection rag-pipeline llm-orchestration context-aware-ai structured-reasoning privacy-preserving-ai modular-ai-assistant-for-task-management
-
Updated
Oct 7, 2025 - Python
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
-
Updated
Feb 20, 2025 - PDDL
Epistemic Logic Playground
-
Updated
Nov 25, 2022 - JavaScript
A Kripke structure modelling framework
-
Updated
Jan 7, 2023 - TypeScript
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
-
Updated
Oct 9, 2023 - Haskell
deep (Dynamic Epistemic logic-basEd Planner) is a multi-agent epistemic planner that operates over the full scope of mA*, leveraging optimized search algorithms and heuristics.
planner solver planning multi-agent heuristic-search-algorithms epistemic-logic automated-planning multiagent-planning epistemic-planning doxastic-planning multiagent-epistemic-planning
-
Updated
Apr 20, 2026 - C++
Episteme is a persistent epistemic reasoning system with non-monotonic logic, explicit conflict detection, belief revision, and quantitative belief lifecycle management layered on top of symbolic inference.
formal-methods epistemic-logic cognitive-architecture explainable-ai symbolic-ai logical-reasoning knowledge-representation-and-reasoning rule-based-systems reasoning-engine proof-generation hallucination-mitigation grounded-reasoning paraconsistent-logic
-
Updated
Jan 21, 2026 - Python
Master mind Board Game implemented in Python
game artificial-intelligence knowledgebase guesses multiagent-systems knowledge-base players mastermind knowledge-management modal-logic multi-agent-systems knowledge-based-systems epistemic-logic multi-agent-system pytests multi-agent-simulation common-knowledge mlsolver
-
Updated
Sep 26, 2020 - Python
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
interpreter modal-logic epistemic-logic kripke-structure multi-agents symbolic-ai knowledge-based-reasoning university-of-caen logic-raisonning knowledge-based-program dynamic-epistemic-logic
-
Updated
Apr 9, 2022 - Java
2021 Project for Logical Aspects of Multi-Agent Systems
-
Updated
Jun 28, 2021
A complete epistemic planner without the epistemic closed world assumption
-
Updated
May 25, 2023 - C++
Repository for my Bachelor's thesis of converting PDDL descriptions to DEL.
-
Updated
Sep 19, 2021 - Haskell
MASTERMIND agent creation for controlled agency using aGLM BDI and RAGE
learning intelligence autonomous mastermind general augmentation epistemology epistemic-logic agile-development nonmonotonic aglm
-
Updated
Mar 13, 2025 - Python
🗣️📞 Gossip Model Checking
-
Updated
Jul 28, 2025 - Haskell
Wu is a media forensics toolkit with special support for Legal teams.
-
Updated
Jan 8, 2026 - Python
Model Checker with Coalition Announcement Logic
java antlr model-checking modal-logic multi-agent-systems epistemic-logic coalition-announcement-logic
-
Updated
Oct 12, 2019 - Java
Quantum weirdness is the felt contradiction that arises when behavior-first/inference-based math is explained using identity-first/entity-based language
-
Updated
Feb 13, 2026
Improve this page
Add a description, image, and links to the epistemic-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the epistemic-logic topic, visit your repo's landing page and select "manage topics."