A symbolic model checker for Dynamic Epistemic Logic.
-
Updated
May 23, 2024 - Haskell
A symbolic model checker for Dynamic Epistemic Logic.
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
Testing Theory of Mind (ToM) in language models with epistemic logic
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
Epistemic Logic Playground
A Kripke structure modelling framework
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
Master mind Board Game implemented in Python
Repository for my Bachelor's thesis of converting PDDL descriptions to DEL.
A complete epistemic planner without the epistemic closed world assumption
🗣️📞 Gossip Model Checking
2021 Project for Logical Aspects of Multi-Agent Systems
Model Checker with Coalition Announcement Logic
The game of Cluedo modeled in epistemic logic. This project is part of the course Logical Aspects of Multi-Agent Systems by the University of Groningen 2022
MASTERMIND agent creation for controlled agency using aGLM BDI and RAGE
A project for the 2020–2021 AI master's course Logical Aspects of Multi-Agent Systems at the university of Groningen.
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
Um estudo sobre Filosofia da Lógica; Overview do método de Newton da Costa, Gödel, Morgan, Dummett, Frege, Leibniz, Peirce, Orman Quine, Ludwig Wittgenstein
Add a description, image, and links to the epistemic-logic topic page so that developers can more easily learn about it.
To associate your repository with the epistemic-logic topic, visit your repo's landing page and select "manage topics."