Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with epistemic-logic

A curated list of projects in awesome lists tagged with epistemic-logic .

https://github.com/jrclogic/smcdel

A symbolic model checker for Dynamic Epistemic Logic.

epistemic-logic haskell logic model-checking symbolic

Last synced: 30 Oct 2024

https://github.com/m4lvin/mchlpe

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

agent-types epistemic-logic haskell model-checking puzzle

Last synced: 14 Oct 2024

https://github.com/lsickert/epistemic-cluedo

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

cluedo epistemic-logic game

Last synced: 23 Oct 2024