-
13Logic, rationality and interaction : introduction to the special issueSynthese 195 (10): 4201-4204. 2018.
-
13Logic and the Foundations of Game and Decision Theory (edited book)Amsterdam University Press. 2008.This volume is a collects papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT), held at the University of Liverpool in July 2006. LOFT is a key venue for presenting research at the intersection of logic, economics, and computer science, and this collection gives a lively and wide-ranging view of an exciting and rapidly growing area.
-
12Second-order propositional modal logic: Expressiveness and completeness resultsArtificial Intelligence 263 (C): 3-45. 2018.
-
11Playing Cards with Hintikka: An Introduction to Dynamic Epistemic LogicIn Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics, Springer. pp. 237-262. 2018.This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change …Read more
-
10FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information. The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial materials in these interdisciplinary areas. This LNCS volume is part of FoLLi book serie and contains the papers presented at …Read more
-
10Uncertainty, Rationality, and AgencySpringer. 2006.This volume concerns Rational Agents - humans, players in a game, software or institutions - which must decide the proper next action in an atmosphere of partial information and uncertainty. The book collects formal accounts of Uncertainty, Rationality and Agency, and also of their interaction. It will benefit researchers in artificial systems which must gather information, reason about it and then make a rational decision on which action to take.
-
8Public Announcements and Belief ExpansionIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 335-346. 1998.
-
7Knowledge Condition GamesJournal of Logic, Language and Information 15 (4): 425-452. 2006.Understanding the flow of knowledge in multi-agent protocols is essential when proving the correctness or security of such protocols. Current logical approaches, often based on model checking, are well suited for modeling knowledge in systems where agents do not act strategically. Things become more complicated in strategic settings. In this paper we show that such situations can be understood as a special type of game – a knowledge condition game – in which a coalition “wins” if it is able to b…Read more
-
6On the logic of cooperation and propositional controlArtificial Intelligence 164 (1-2): 81-119. 2005.
-
4Public Announcements and Belief ExpansionIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 335-346. 1998.
-
Ogic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science, vol 9394 (edited book)Springer. 2015.
-
Anil Nerode and Richard A. Shore, Logic for ApplicationsJournal of Logic Language and Information 7 228-229. 1998.
-
Logic and the Foundations of Game and Decision Theory  Loft 8 (edited book)Springer Berlin Heidelberg. 2010.
-
Playing Cards with Hintikka: An introduction to dynamic epistemic logicAustralasian Journal of Logic 3 108-134. 2005.This contribution is a gentle introduction to so-called dynamic epistemic logics, that can describe how agents change their knowledge and beliefs. We start with a concise introduction to epistemic logic, through the example of one, two and finally three players holding cards; and, mainly for the purpose of motivating the dynamics, we also very summarily introduce the concepts of general and common knowledge. We then pay ample attention to the logic of public announcements, wherein agents change …Read more
-
University of LiverpoolRegular Faculty
Areas of Interest
Epistemology |
Logic and Philosophy of Logic |