Developing dynamic epistemic logic guided by old paradoxes and new techniques

Samenvatting

Keywords: logic, information, probability, agency, paradox

Information pervades so many aspects of our daily lives that the current age has been dubbed ´the information age´. There are many scientific theories about information. In the last decade dynamic epistemic logic has developed as one of the main formal systems that are used to analyse the dynamics of information. These recent developments have mostly taken place within computer science and artificial intelligence. Philosophers have yet to benefit from these developments in order to solve some well-known problems in philosophical logic. The overall aim of the proposed research is to further develop dynamic epistemic logic and to let it join forces with other scientific theories about information in order to gain insight in information and its dynamics. The proposed research will focus on the following key objectives:
1. Develop philosophically sound semantics for dynamic epistemic predicate logic.
2. Evaluate these semantics by applying the logic to the hooded man paradox and the lottery paradox.
3. Combine belief revision further with dynamic epistemic logic.
4. Further develop probabilistic dynamic epistemic logic in order to develop a more general dynamic epistemic logic and to provide a theory of more complicated updates for probability theory.
5. Combine logics of agency and dynamic epistemic logic, in order to develop a notion of agency within dynamic epistemic logic, and a notion of action within logics of agency.

Output

Boek of monografie

  • B.P. Kooi, W van der Hoek, H.P. van Ditmarsch(2007): Dynamic Epistemic Logic , Dordrecht

Hoofdstuk in boek

  • H.P. van Ditmarsch, G. Bonanno, M. Wooldridge, W. van der Hoek(2008): ogic and the Foundations of Game and Decision Theory (LOFT 7). pp. 87 - 117 , Amsterdam
  • H. Verhagen, G. Pigozzi, G. Boella, B.P. Kooi, A.M. Tamminga, M. Singh(2008): 3rd International Workshop on Normative Multiagent Systems. pp. 188 - 200
  • W. van der Hoek, B.P. Kooi, H. van Ditmarsch, C. Boutilier(2009): Proceedings of IJCAI-09 pp. 955 - 960
  • B.P. Kooi, R. Verbrugge(2009): Discourses on Social Software pp. 163 - 181

Wetenschappelijk artikel

  • B.P. Kooi, A.M. Tamminga(2006): Conflicting obligations in multi-agent deontic logic Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings pp. 175 - 186
  • D.J.N. van Eijck, B.P. Kooi, J.F.A.K. van Benthem(2006): Logics of Communication and Change Information and Computation pp. 1620 - 1662 ISSN: 1090-2651.
  • B.P. Kooi, G.R. Renardel de Lavalette, L.C. Verbrugge(2006): Hybrid logics with infinitary proof systems Journal of Logic and Computation pp. 161 - 175 ISSN: 0955-792X.
  • H.P. van Ditmarsch, B.P. Kooi(2006): The secret of my success Synthese pp. 201 - 232 ISSN: 0039-7857.
  • B.P. Kooi(2007): Dynamic term-modal logic A meeting of the minds, Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007 pp. 173 - 185
  • B.P. Kooi(2007): Expressivity and completeness for public update logics via reduction axioms Journal of Applied Non-Classical Logics pp. 231 - 253 ISSN: 1166-3081.
  • B.P. Kooi(2007): De logica van informatieverandering Algemeen Nederlands Tijdschrift voor Wijsbegeerte pp. 146 - 153 ISSN: 0002-5275.
  • B.P. Kooi, H.P. van Ditmarsch, W van der Hoek(2007): Dynamic Epistemic Logic and Knowledge Puzzles Conceptual Structures: Knowledge Structures for Smart Applications pp. 45 - 58
  • L.C. Verbrugge, G.R. Renardel de Lavalette(2008): Strong completeness and limited canonicity for PDL Journal of Logic, Language and Information pp. 69 - 87
  • A.M. Tamminga(2008): Moral conflicts between groups of agents Journal of Philosophical Logic pp. 1 - 21
  • B.P. Kooi, J. Gerbrandy, J. van Benthem(2008): Dynamic update with probabilities Studia Logica

Kenmerken

Projectnummer

275-20-011

Hoofdaanvrager

Prof. dr. B.P. Kooi

Verbonden aan

Rijksuniversiteit Groningen, Faculteit Wijsbegeerte

Uitvoerders

Prof. dr. B.P. Kooi

Looptijd

15/03/2006 tot 17/06/2010