DE BOER Mathijs

Main Referenced Co-authors

de Lima, Tiago (1)

Herzig, Andreas (1)

Lorini, Emiliano (1)

Main Referenced Keywords

epistemic logic (1); KE (1); Public announcement logic (1); semantic tableaux (1);

Main Referenced Disciplines

Engineering, computing & technology: Multidisciplinary, general & others (2)

Publications (total 2)

Search in publications

The most downloaded

84 downloads

de Boer, M. (06 September 2007). KE Tableaux for Public Announcement Logic [Paper presentation]. Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007), Durham, United Kingdom. https://hdl.handle.net/10993/16108

de Boer, M., Herzig, A., de Lima, T., & Lorini, E. (2008). What do we accept after an announcement? [Paper presentation]. Prague International Colloquium: Logic of change, change of logic, LOCCOL'08, Prague, Czechia.

https://hdl.handle.net/10993/16107

de Boer, M. (06 September 2007). KE Tableaux for Public Announcement Logic [Paper presentation]. Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007), Durham, United Kingdom.

https://hdl.handle.net/10993/16108