JRC Logic

icon indicating a website link http://tsinghualogic.net/JRC/

icon location Tsinghua University - University of Amsterdam Joint Research Center for Logic

Results 1 repositories owned by JRC Logic

SMCDEL

39
Stars
9
Forks
Watchers

A symbolic model checker for Dynamic Epistemic Logic.

verified publisher icon jrclogic