A tableau-based satisfiability checker for CMAEL(CD) — Complete Multiagent Epistemic Logic with Common and Distributed knowledge - View it on GitHub
Star
0
Rank
13617717