A symbolic model checker for Dynamic Epistemic Logic.
-
Updated
Nov 30, 2024 - Haskell
A symbolic model checker for Dynamic Epistemic Logic.
Testing Theory of Mind (ToM) in language models with epistemic logic
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
Epistemic Logic Playground
A Kripke structure modelling framework
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
Master mind Board Game implemented in Python
A complete epistemic planner without the epistemic closed world assumption
Repository for my Bachelor's thesis of converting PDDL descriptions to DEL.
2021 Project for Logical Aspects of Multi-Agent Systems
🗣️📞 Gossip Model Checking
MASTERMIND agent creation for controlled agency using aGLM BDI and RAGE
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
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."