Blar i Faculty of Social Sciences på emneord "Epistemic logic"

Viser treff 1-2 av 2

    • To be Announced: Understanding and model checking Group Announcement Logic 

      Eide, Anders Kåre (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 

      Ågotnes, Thomas; Ditmarsch, Hans van (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 ...