-
10Review of Agency and deontic logic by John Horty Oxford university press 2001 (review)Artificial Intelligence and Law 11 (1): 45-61. 2003.
-
94On Floating ConclusionsDeontic Logic and Normative Systems, 16Th International Conference, Deon 2023. 2023.When there are two lines of argument that contradict each other but still end up with the same conclusion, this conclusion is called a floating conclusion. It is an open topic in skeptical defeasible reasoning if floating conclusions ought to be accepted. Inter- estingly, the answer seems to be changing for different examples. In this paper, we propose a solution for explaining the different treatments of the floating conclusion in the various examples from the literature. We collect the example…Read more
-
26Review of Agency and deontic logic by John Horty Oxford university press 2001 (review)Artificial Intelligence and Law 11 (1): 45-61. 2003.
-
13A Stit Logic of IntentionalityIn Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers, Springer Verlag. pp. 125-153. 2023.We extend epistemic stit theory with a modality \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$I_\alpha \varphi $$\end{document}, meant to express that at some moment agent \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepacka…Read more
-
92Making a Start with the stit Logic Analysis of Intentional ActionJournal of Philosophical Logic 40 (4): 499-530. 2011.This paper studies intentional action in stit logic. The formal logic study of intentional action appears to be new, since most logical studies of intention concern intention as a static mental state. In the formalization we distinguish three modes of acting: the objective level concerning the choices an agent objectively exercises, the subjective level concerning the choices an agent knows or believes to be exercising, and finally, the intentional level concerning the choices an agent intention…Read more
-
35Regulating competing coalitions: a logic for socially optimal group choicesJournal of Applied Non-Classical Logics 22 (1): 181-202. 2012.In Multi Agent Systems it is often the case that individual preferences are not compatible and coalitions compete to achieve a given result. The paper presents a language to talk about the conflict between coalitional choices and it expresses deontic notions to evaluate them. We will be specifically concerned with cases where the collective perspective is at odds with the individual perspective.
-
59Conflicting intentions: rectifying the consistency requirementsPhilosophical Studies 176 (4): 1097-1118. 2019.Many philosophers are convinced that rationality dictates that one’s overall set of intentions be consistent. The starting point and inspiration for our study is Bratman’s planning theory of intentions. According to this theory, one needs to appeal to the fulfilment of characteristic planning roles to justify norms that apply to our intentions. Our main objective is to demonstrate that one can be rational despite having mutually inconsistent intentions. Conversely, it is also shown that one can …Read more
-
28Beliefs in agent implementationIn P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III, Springer. pp. 1--16. 2006.
-
79Doing without action typesReview of Symbolic Logic 1-31. forthcoming.This paper explores the analysis of ability, where ability is to be understood in the epistemic sense—in contrast to what might be called a causal sense. There are plenty of cases where an agent is able to perform an action that guarantees a given result even though she does not know which of her actions guarantees that result. Such an agent possesses the causal ability but lacks the epistemic ability. The standard analysis of such epistemic abilities relies on the notion of action types—as oppo…Read more
-
27Three Points of Disagreement with Gideon Yaffe on Attempts (review)Jurisprudence 3 (2): 465-503. 2012.
-
16Relativized Action Complement for Dynamic LogicsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 51-69. 1998.
-
31What groups do, can do, and know they can do: an analysis in normal modal logicsJournal of Applied Non-Classical Logics 19 (3): 261-289. 2009.We investigate a series of logics that allow to reason about agents' actions, abilities, and their knowledge about actions and abilities. These logics include Pauly's Coalition Logic CL, Alternating-time Temporal Logic ATL, the logic of ‘seeing-to-it-that' (STIT), and epistemic extensions thereof. While complete axiomatizations of CL and ATL exist, only the fragment of the STIT language without temporal operators and without groups has been axiomatized by Xu (called Ldm). We start by recalling a…Read more
-
24Determining the environment: a modal logic for closed interactionSynthese 169 (2): 351-369. 2009.The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both stemming from Pauly Representation Theorem. We will identify such restrictions and axiomatize their logic. We will apply the formal tools to rea…Read more
-
5Relativized Action Complement for Dynamic LogicsIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 51-69. 1998.
-
48Realistic desiresJournal of Applied Non-Classical Logics 12 (2): 287-308. 2002.Realism for agents with unconditional beliefs, desires and intentions has been analyzed in modal logic. This paper provides a logical analysis of realism for agents with conditional beliefs and desires in a rule based approach analogous to Reiter's default logic. We distinguish two types of realism, which we call ‘a priori' and ‘a posteriori' realism. We analyze whether these two new properties are compatible with other properties discussed in the literature, such as existence of extensions. We …Read more
-
30Deontic epistemic stit logic distinguishing modes of mens reaJournal of Applied Logic 9 (2): 137-152. 2011.
-
32Agents necessitating effects in newtonian time and space: from power and opportunity to effectivitySynthese 196 (1): 31-68. 2019.We extend stit logic by adding a spatial dimension. This enables us to distinguish between powers and opportunities of agents. Powers are agent-specific and do not depend on an agent’s location. Opportunities do depend on locations, and are the same for every agent. The central idea is to define the real possibility to see to the truth of a condition in space and time as the combination of the power and the opportunity to do so. The focus on agent-relative powers and space-relative opportunities…Read more
-
29Action negation and alternative reductions for dynamic deontic logicsJournal of Applied Logic 2 (1): 153-168. 2004.
-
Utrecht UniversityProfessor
Areas of Specialization
Science, Logic, and Mathematics |
Philosophy, Misc |
Areas of Interest
Science, Logic, and Mathematics |
Metaphysics and Epistemology |
Philosophy, Misc |