Blar i Department of Information Science and Media Studies på emneord "Epistemic logic"
Viser treff 1-2 av 2
-
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 ... -
What will they say?—Public Announcement Games
(Peer reviewed; Journal article, 2010-11-03)Dynamic epistemic logic describes the possible information-changingactions available to individual agents, and their knowledge pre- and post conditions.For example, public announcement logic describes actions in the form ...