-
53Handbook of Legal Reasoning and Argumentation (edited book)Springer Verlag. 2011.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
-
3Logic 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.
-
4Action TheoriesIn Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy, Springer. 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
-
12AGM 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
-
18Special Issue: Information Dynamics in Artificial SocietiesJournal of Logic, Language and Information 25 (3-4): 269-271. 2016.
-
82Epistemic 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
-
21On 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
-
18Logic and Interaction: Foreword to the Special IssueJournal of Logic, Language and Information 31 (2): 137-139. 2022.
-
14A logic for reasoning about counterfactual emotionsArtificial Intelligence 175 (3-4): 814-847. 2011.
-
8This 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
-
10Norms 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, Springer Verlag. 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.
-
16Possible 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
-
2Announcements 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
-
109A 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
-
22The 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
-
137The 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
-
42A minimal logic for interactive epistemologySynthese 193 (3): 725-755. 2016.We propose a minimal logic for interactive epistemology based on a qualitative representation of epistemic individual and group attitudes including knowledge, belief, strong belief, common knowledge and common belief. We show that our logic is sufficiently expressive to provide an epistemic foundation for various game-theoretic solution concepts including “1-round of deletion of weakly dominated strategies, followed by iterated deletion of strongly dominated strategies” ) and “2-rounds of deleti…Read more
-
29A Logic Of Trust And ReputationLogic Journal of the IGPL 18 (1): 214-244. 2010.The aim of this paper is to present a logical framework in which the concepts of trust and reputation can be formally characterized and their properties studied. We start from the definition of trust proposed by Castelfranchi & Falcone . We formalize this definition in a logic of time, action, beliefs and choices. Then, we provide a refinement of C&F’s definition by distinguishing two general types of trust: occurrent trust and dispositional trust. In the second part of the paper we present a de…Read more
-
On Modal Logics of Group BeliefIn Emiliano Lorini & Andreas Herzig (eds.), The Cognitive Foundations of Group Attitudes and Social Interaction, Springer. 2015.
-
95A dynamic logic of agency II: Deterministic dla {\mathcal{dla}} , coalition logic, and game theoryJournal of Logic, Language and Information 19 (3): 327-351. 2010.We continue the work initiated in Herzig and Lorini (J Logic Lang Inform, in press) whose aim is to provide a minimalistic logical framework combining the expressiveness of dynamic logic in which actions are first-class citizens in the object language, with the expressiveness of logics of agency such as STIT and logics of group capabilities such as CL and ATL. We present a logic called ( Deterministic Dynamic logic of Agency ) which supports reasoning about actions and joint actions of agents an…Read more
-
97Computer-mediated trust in self-interested expert recommendationsAI and Society 25 (4): 413-422. 2010.Important decisions are often based on a distributed process of information processing, from a knowledge base that is itself distributed among agents. The simplest such situation is that where a decision-maker seeks the recommendations of experts. Because experts may have vested interests in the consequences of their recommendations, decision-makers usually seek the advice of experts they trust. Trust, however, is a commodity that is usually built through repeated face time and social interactio…Read more
-
35Temporal logic and its application to normative reasoningJournal of Applied Non-Classical Logics 23 (4): 372-399. 2013.I present a variant of with time, called, interpreted in standard Kripke semantics. On the syntactic level, is nothing but the extension of atemporal individual by: the future tense and past tense operators, and the operator of group agency for the grand coalition. A sound and complete axiomatisation for is given. Moreover, it is shown that supports reasoning about interesting normative concepts such as the concepts of achievement obligation and commitment.
-
34A STIT Logic for Reasoning About Social InfluenceStudia Logica 104 (4): 773-812. 2016.In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allow us to represent the consequences of an agent’s choices over the rational choices of another agent.
-
43Editorial Introduction: Logical Methods for Social Concepts (review)Journal of Philosophical Logic 40 (4): 441-443. 2011.