Browsing Department of Information Science and Media Studies by Subject "Dynamic Epistemic Logic"
Now showing items 1-1 of 1
-
To be Announced: Understanding and model checking Group Announcement Logic
(Master thesis, 2019-07-10)In this master’s thesis we present a graphical model checking tool for group announcement logic called GALMC, capable of visualizing the process of checking formulas in a step-by-step fashion. We also define how to enumerate ...