There are 2 repositories under epistemic-logic topic.
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
Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem
Master mind Board Game implemented in Python
2021 Project for Logical Aspects of Multi-Agent Systems
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
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
Model Checker with Coalition Announcement Logic
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
A project for the 2020–2021 AI master's course Logical Aspects of Multi-Agent Systems at the university of Groningen.