BORA - UiB

Bergen Open Research Archive

Browsing by Subject "Epistemic logic"

Bergen Open Research Archive

Browsing by Subject "Epistemic logic"

Sort by: Order: Results:

  • Ågotnes, Thomas; Ditmarsch, Hans van (Peer reviewed; Journal article, Springer, 2010-11-03)
    Dynamic epistemic logic describes the possible information-changing actions available to individual agents, and their knowledge pre- and post conditions. For example, public announcement logic describes actions in the ...

Search BORA

Browse

My Account