Modelling def+easible reasoning by means of adaptive logic games

Logic Journal of the IGPL 20 (2):417-437 (2012)
  Copy   BIBTEX


In this article, I present a dynamic logic game for defeasible reasoning. I argue that, as far as defeasible reasoning is concerned, one should distinguish between practical and ideal rationality. Starting from the adaptive logic framework, I formalize both rationality notions by means of logic games. The presented adaptive logic games are based on (i) standard logic games on the one hand and (ii) dynamic proof procedures for adaptive logic on the other hand. The games are similar to standard logic games, but have the extra property that some moves are revisable. This is handled by means of a main control game, which starts different standard logic games. I argue that the adaptive logic games form intuitive reasoning models for rationality in defeasible reasoning contexts. Moreover, I will also demonstrate that the games give a good insight in the computational complexity of defeasible reasoning forms



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

24 (#660,055)

6 months
9 (#315,924)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Verdee
Université Catholique de Louvain

References found in this work

No references found.

Add more references