-
18Before announcementIn Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11, Csli Publications. pp. 58-77. 2016.
-
An automated modal logic for elementary changesIn Philippe Smets (ed.), Non-standard logics for automated reasoning, Academic Press. 1988.
-
1On the Modularity of TheoriesIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 93-109. 1998.
-
12Properties of logics of individual and group agencyIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 133-149. 1998.
-
6On the Modularity of TheoriesIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 93-109. 1998.
-
10Properties of logics of individual and group agencyIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 133-149. 1998.
-
6Terminating modal tableaux with simple completeness proofIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 167-186. 1998.
-
9Terminating modal tableaux with simple completeness proofIn Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 167-186. 1998.
-
22Some 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.
-
19Some 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.
-
On Modal Logics of Group BeliefIn Emiliano Lorini & Andreas Herzig (eds.), The Cognitive Foundations of Group Attitudes and Social Interaction, Springer. 2015.
-
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.
-
19Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings (edited book, review)Springer Nature Switzerland. 2023.This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 9th International Workshop on Logic, Rationality, and Interaction, LORI 2023, held in Jinan, China, in October 2023. The 15 full papers presented together with 7 short papers in this book were carefully reviewed and selected from 40 submissions. The workshop covers a wide range on the following topics such as agency; argumentation and agreement; belief representation; probability and uncertainty; belief revisi…Read more
-
9Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe BesnardJournal of Applied Non-Classical Logics 33 (3-4): 207-211. 2023.1. In this special issue of the Journal of Applied Non-Classical Logics, we aim to celebrate the recent retirement of Philippe Besnard as directeur de recherche in the Centre National de Recherche...
-
8Conditionals: from philosophy to computer science (edited book)Oxford University Press. 1995.Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning.
-
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
-
41The 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
-
192A 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.
-
21
-
30A 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
-
17Possible 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
-
666Metatheory 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
-
44Editorial Introduction: Logical Methods for Social Concepts (review)Journal of Philosophical Logic 40 (4): 441-443. 2011.
-
10Autoepistemic equilibrium logic and epistemic specificationsArtificial Intelligence 282 (C): 103249. 2020.
-
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 |