-
7A Dynamic Logic of Agency I: STIT, Capabilities and PowersJournal of Logic, Language and Information 19 (1). 2009.The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency (\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{DLA}}$$\end{document}). Differently from othe…Read more
-
Action TheoriesIn Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy, Imprint: Springer. pp. 591-607. 2018.We present the main logical theories of action. We distinguish theories identifying an action with its result from theories studying actions in terms of both their results and the means that result is obtained. The first family includes most prominently the logic of seeing-to-it-that and the logic of bringing-it-about-that. The second includes propositional dynamic logic and its variants. For all these logics we overview their extensions by other modalities such as modal operators of knowledge, …Read more
-
2Norms in Action: A Logical PerspectiveIn Giorgio Bongiovanni, Gerald Postema, Antonino Rotolo, Giovanni Sartor, Chiara Valentini & Douglas Walton (eds.), Handbook of Legal Reasoning and Argumentation, Imprint: Springer. pp. 77-101. 2018.A theory of action is fundamental for legal theory, as the law is meant to direct behaviour: it influences the behaviour of agents who can understand the law’s prescriptions and act accordingly. A connection between law and action is assumed by the most diverse approaches to the law; when no reference is made to this connection it is since it appears to be an obvious truism. Let us list just a few examples where this connection appears most clearly.
-
83Handbook of Legal Reasoning and Argumentation (edited book)This handbook offers a deep analysis of the main forms of legal reasoning and argumentation from both a logical-philosophical and legal perspective. These forms are covered in an exhaustive and critical fashion, and the handbook accordingly divides in three parts: the first one introduces and discusses the basic concepts of practical reasoning. The second one discusses the main general forms of reasoning and argumentation relevant for legal discourse. The third one looks at their application in …Read more
-
17Logic of Action from the Perspective of Knowledge RepresentationIn Jacek Malinowski & Rafał Palczewski (eds.), Janusz Czelakowski on Logical Consequence, Springer Verlag. pp. 401-418. 2024.Taking the perspective of knowledge representation, we introduce a simple logic of agency where the agents’ actions are described by their precondition and effects and whose semantics is based on the concept of attempt. We give its syntax, semantics, and axiomatics and discuss the relation with other proposals, in particular Belnap and Horty’s ‘branching time and agent choice’ semantics (BT+AC) and Czelakowski’s relational semantics.
-
30Action TheoriesIn Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy. pp. 591-607. 2012.We present the main logical theories of action. We distinguish theories identifying an action with its result from theories studying actions in terms of both their results and the means that result is obtained. The first family includes most prominently the logic of seeing-to-it-that and the logic of bringing-it-about-that. The second includes propositional dynamic logic and its variants. For all these logics we overview their extensions by other modalities such as modal operators of knowledge, …Read more
-
29AGM Contraction and Revision of RulesJournal of Logic, Language and Information 25 (3 - 4): 273-297. 2016.In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM t…Read more
-
31Special Issue: Information Dynamics in Artificial SocietiesJournal of Logic, Language and Information 25 (3): 269-271. 2016.
-
93Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spacesSynthese 193 (7): 2097-2127. 2016.In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison be…Read more
-
39On the dynamics of institutional agreementsSynthese 171 (2): 321-355. 2009.In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\rm A}_{G:x} \varphi$$\end{document} reading ‘if the agents in the set of agents G identify themselves with inst…Read more
-
43Logic and Interaction: Foreword to the Special IssueJournal of Logic, Language and Information 31 (2): 137-139. 2022.
-
41A logic for reasoning about counterfactual emotionsArtificial Intelligence 175 (3-4): 814-847. 2011.
-
13This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; phil…Read more
-
20Norms in Action: A Logical PerspectiveIn Colin Aitken, Amalia Amaya, Kevin D. Ashley, Carla Bagnoli, Giorgio Bongiovanni, Bartosz Brożek, Cristiano Castelfranchi, Samuele Chilovi, Marcello Di Bello, Jaap Hage, Kenneth Einar Himma, Lewis A. Kornhauser, Emiliano Lorini, Fabrizio Macagno, Andrei Marmor, J. J. Moreso, Veronica Rodriguez-Blanco, Antonino Rotolo, Giovanni Sartor, Burkhard Schafer, Chiara Valentini, Bart Verheij, Douglas Walton & Wojciech Załuski (eds.), Handbook of Legal Reasoning and Argumentation. pp. 77-101. 2011.A theory of action is fundamental for legal theory, as the law is meant to direct behaviour: it influences the behaviour of agents who can understand the law’s prescriptions and act accordingly. A connection between law and action is assumed by the most diverse approaches to the law; when no reference is made to this connection it is since it appears to be an obvious truism. Let us list just a few examples where this connection appears most clearly.
-
27Possible Worlds Semantics Based on Observation and CommunicationIn Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics, Springer. pp. 339-362. 2018.We analyze a recent trend in epistemic logic which consists in studying construction of knowledge from the agents’ observational abilities. It is based on the intuition that an agent’s knowledge comes from three possible sources: her observations, communication with other agents, and inference. The approaches mainly focus on the former two and suppose that the object of observations are propositional variables and that agents learn from public announcements. This allows to model knowledge in a m…Read more
-
14Announcements to Attentive AgentsJournal of Logic, Language and Information 25 (1): 1-35. 2016.In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in action model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of p…Read more
-
157A dynamic logic of agency I: Stit, capabilities and powersJournal of Logic, Language and Information 19 (1): 89-121. 2010.The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic logic opera…Read more
-
54The Dynamics of Epistemic Attitudes in Resource-Bounded AgentsStudia Logica 107 (3): 457-488. 2019.The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms …Read more
-
233A logic of intention and attemptSynthese 163 (1). 2008.We present a modal logic called (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.
-
44Announcements to Attentive AgentsJournal of Logic, Language and Information 25 (1): 1-35. 2016.In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in action model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of p…Read more
-
56From self-regarding to other-regarding agents in strategic games: a logical analysisJournal of Applied Non-Classical Logics 21 (3-4): 443-475. 2011.I propose a modal logic that enables to reason about self-regarding and otherregarding motivations in strategic games. This logic integrates the concepts of joint action, belief, individual and group payoff. The first part of the article is focused on self-regarding agents. A self-regarding agent decides to perform a certain action only if he believes that this action maximizes his own personal benefit. The second part of the article explores different kinds of other-regarding motivations such a…Read more
-
185On the Dynamics of Institutional AgreementsSynthese 171 (2). 2009.In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form $A_{Gx} \phi $ reading 'if the agents in the set of agents G identify themselves with institution x then they together accept that φ'. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form x!ψ, meaning that the agents learn that ψ is the case in context x. Formulae of the form…Read more
-
177The cognitive structure of surprise: Looking for basic principlesTopoi 26 (1): 133-149. 2007.We develop a conceptual and formal clarification of notion of surprise as a belief-based phenomenon by exploring a rich typology. Each kind of surprise is associated with a particular phase of cognitive processing and involves particular kinds of epistemic representations (representations and expectations under scrutiny, implicit beliefs, presuppositions). We define two main kinds of surprise: mismatch-based surprise and astonishment. In the central part of the paper we suggest how a formal mode…Read more
-
29