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: 10 Apr 2025
https://github.com/sileod/llm-theory-of-mind
Testing Theory of Mind (ToM) in language models with epistemic logic
chatgpt dataset english epistemic-logic epistemic-reasoning gpt-4 language-model llm modal-logic muddy-children natural-language natural-language-inference natural-language-processing nli nlp pal public-announcement-logic social-reasoning theory-of-mind tom
Last synced: 06 Jan 2025
https://github.com/m4lvin/mchlpe
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
agent-types epistemic-logic haskell model-checking puzzle
Last synced: 13 Apr 2025
https://github.com/m4lvin/gomoche
🗣️📞 Gossip Model Checking
distributed-systems epistemic-logic gossip haskell model-checking protocol
Last synced: 06 Apr 2025
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
Last synced: 07 Apr 2025
