-
772Regression in Modal LogicJournal of Applied Non-Classical Logics 13 (2): 165-185. 2003.In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
-
642Metatheory of Actions: Beyond ConsistencyArtificial Intelligence 171 (1). 2007.Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sen…Read more
-
183A 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.
-
149Introspective forgettingSynthese 169 (2): 405-423. 2009.We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
-
132'Knowable' as 'known after an announcement'Review of Symbolic Logic 1 (3): 305-334. 2008.Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a lo…Read more
-
102On 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
-
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
-
94A logical formalization of the OCC theory of emotionsSynthese 168 (2): 201-248. 2009.In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’ mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide logical definitions of all but two of their 22 emotions. While these definitions may be subject to debate, we show tha…Read more
-
90Conditionals: from philosophy to computer science (edited book)Oxford University Press. 1995.This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
-
88Alternative axiomatics and complexity of deliberative stit theoriesJournal of Philosophical Logic 37 (4). 2008.We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula w…Read more
-
43Editorial Introduction: Logical Methods for Social Concepts (review)Journal of Philosophical Logic 40 (4): 441-443. 2011.
-
39The Cognitive Foundations of Group Attitudes and Social Interaction (edited book)Springer. 2015.This book offers a widely interdisciplinary approach to investigating important questions surrounding the cognitive foundations of group attitudes and social interaction. The volume tackles issues such as the relationship between individual and group attitudes, the cognitive bases of group identity and group identification and the link between emotions and individual attitudes. This volume delves into the links between individual attitudes and how they are reflected in shared attitudes where com…Read more
-
36Public announcements, public assignments and the complexity of their logicJournal of Applied Non-Classical Logics 22 (3): 249-273. 2012.We study the extension of public announcement logic PAL by public assignments, which we call PALA. Just as in the case of PAL, the standard procedure for deciding PALA validity, i.e. the use of so-called reduction axioms to translate PALA formulae into formulae in epistemic logic EL, may lead to exponential growth. In this paper, we show that such a price is not mandatory, for we provide a polynomial translation of PALA into EL. This is based on abbreviations of subformulae by new propositional …Read more
-
31A short biography of Luis Fariñas del CerroJournal of Applied Non-Classical Logics 27 (3): 153-160. 2017.Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal…Read more
-
30What 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
-
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
-
24Dynamic epistemic logics: promises, problems, shortcomings, and perspectivesJournal of Applied Non-Classical Logics 27 (3-4): 328-341. 2017.Dynamic epistemic logics provide an account of the evolution of agents’ belief and knowledge when they learn the occurrence of an event. These logics started to become popular about 20 years ago and by now there exists a huge number of publications about them. The present paper briefly summarises the existing body of literature, discusses some problems and shortcomings, and proposes some avenues for future research.
-
24Introspective forgettingSynthese 169 (2): 405-423. 2009.We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
-
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
-
21A lightweight epistemic logic and its application to planningArtificial Intelligence 298 (C): 103437. 2021.
-
20Some Truths Are Best Left UnsaidIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 36-54. 1998.
-
Centre National de la Recherche ScientifiqueInstitut de Recherche En Informatique de Toulouse (IRIT)Regular Faculty
Universiti Paul Sabatier
PhD, 1989
Areas of Specialization
Science, Logic, and Mathematics |
Areas of Interest
Science, Logic, and Mathematics |
Doxastic and Epistemic Logic |
Action Theory |
Intentions |
Agency |