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

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever

Master mind Board Game implemented in Python

Interprets multi-agent knowledge-based programs to solve puzzles like the Muddy Children Problem

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

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

MASTERMIND agent creator and control agent development has migrated to aGLM

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.