-
30Generalized quantifiers and modal logicJournal of Logic, Language and Information 2 (1): 19-58. 1993.We study several modal languages in which some (sets of) generalized quantifiers can be represented; the main language we consider is suitable for defining any first order definable quantifier, but we also consider a sublanguage thereof, as well as a language for dealing with the modal counterparts of some higher order quantifiers. These languages are studied both from a modal logic perspective and from a quantifier perspective. Thus the issues addressed include normal forms, expressive power, c…Read more
-
29Multi-Modal CTL: Completeness, Complexity, and an ApplicationStudia Logica 92 (1): 1-26. 2009.We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E δ and A δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that the logic is de…Read more
-
29Dynamic Epistemic LogicSpringer. 2007.Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.
-
29Towards a Logic of Rational AgencyLogic Journal of the IGPL 11 (2): 135-159. 2003.Rational agents are important objects of study in several research communities, including economics, philosophy, cognitive science, and most recently computer science and artificial intelligence. Crudely, a rational agent is an entity that is capable of acting on its environment, and which chooses to act in such a way as to further its own best interests. There has recently been much interest in the use of mathematical logic for developing formal theories of such agents. Such theories view agent…Read more
-
27Honesty in partial logicStudia Logica 56 (3): 323-360. 1996.We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent that only knows and which honest enable such circumscription? Redefining stable sets enables us to provide suitable syntactic and sem…Read more
-
27Dynamic Epistemic LogicInternet Encyclopedia of Philosophy. 2016.Dynamic Epistemic Logic This article tells the story of the rise of dynamic epistemic logic, which began with epistemic logic, the logic of knowledge, in the 1960s. Then, in the late 1980s, came dynamic epistemic logic, the logic of change of knowledge. Much of it was motivated by puzzles and paradoxes. The number … Continue reading Dynamic Epistemic Logic →
-
26On obligations and normative ability: Towards a logical analysis of the social contractJournal of Applied Logic 3 (3-4): 396-420. 2005.
-
25Reasoning About Social Choice FunctionsJournal of Philosophical Logic 40 (4): 473-498. 2011.We introduce a logic specifically designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent preferences. We establish a correspondence between formulae in the logic and properties of social choice functions, and show that the logic is expressively complete with respect to social choice functions, i.e., that every social choice function can be characterised as a formula of the logic. We prove that the log…Read more
-
25Logic, rationality and interaction : introduction to the special issueSynthese 195 (10): 4201-4204. 2018.
-
24Information, Interaction, and Agency (edited book)Springer. 2005.Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information, Interaction, and Agency. Agents perform actions based on the available information and in the presence of other interacting agents. From this perspective Information, Interaction, and Agency neatly ties together classical themes like rationality, decision-making and belief revision with games, strat…Read more
-
23On programming KARO agentsLogic Journal of the IGPL 9 (2): 245-256. 2001.After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic
-
23Fully Arbitrary Public AnnouncementsIn Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11, Csli Publications. pp. 252-267. 2016.
-
23Defeasible deontic logic, edited by Nute Donald, Synthese library, vol. 263, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1997, x + 354 pp (review)Bulletin of Symbolic Logic 6 (1): 89-94. 2000.
-
22A logical characterisation of qualitative coalitional gamesJournal of Applied Non-Classical Logics 17 (4): 477-509. 2007.Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goal to achieve, and in which agents must typically cooperate with others in order to satisfy their goals. In this paper, we show how it is possible to reason about QCGs using Coalition Logic (CL), a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a corresp…Read more
-
21Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12)Studia Logica 107 (3): 451-455. 2019.
-
21Quantified coalition logicSynthese 165 (2): 269-294. 2008.We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as “every coalition satisfying property P can achieve φ” and “there exists a coalition C satisfying property P such that C can achieve φ”. We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is neve…Read more
-
20Some Exponential Lower Bounds on Formula-size in Modal LogicIn Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10, Csli Publications. pp. 139-157. 2014.
-
18Seeing Is BelievingJournal of Logic, Language and Information 6 (1): 33-61. 1997.In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to bel…Read more
-
16Review: Donald Nute, Defeasible Deontic Logic (review)Bulletin of Symbolic Logic 6 (1): 89-94. 2000.
-
16A verification framework for agent programming with declarative goalsJournal of Applied Logic 5 (2): 277-302. 2007.
-
15Epistemic Logic for AI and Computer ScienceCambridge University Press. 1995.Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distribu…Read more
-
University of LiverpoolRegular Faculty
Areas of Interest
Epistemology |
Logic and Philosophy of Logic |