#

dynamic-epistemic-logic

Here is 1 public repository matching this topic...

Pathemeous / Symbolic-Gossip

Symbolic Model Checker for the Gossip Problem

logic model-checking gossip del symbolic-model-checking dynamic-epistemic-logic

Updated Jun 2, 2024
Haskell

Improve this page

Add a description, image, and links to the dynamic-epistemic-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dynamic-epistemic-logic topic, visit your repo's landing page and select "manage topics."