-
19
-
18Logic, 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
-
18A translation from the modal logic of provability into K4Journal of Applied Non-Classical Logics 4 (1): 73-77. 1994.No abstract
-
18Some 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.
-
17Epistemic planning: Perspectives on the special issueArtificial Intelligence 316 (C): 103842. 2023.
-
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
-
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
-
13Propositional belief base update and minimal changeArtificial Intelligence 115 (1): 107-138. 1999.
-
12Frame-validity Games and Lower Bounds on the Complexity of Modal AxiomsLogic Journal of the IGPL 30 (1): 155-185. 2022.We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame property. Using these games, we prove lower bounds on the above measures for a number of well-known modal axioms; what is more, for some of the axioms, we show that they are optimal among the formulae defining the respective class of frames.
-
12Some modal aspects of XPathJournal of Applied Non-Classical Logics 20 (3): 139-171. 2010.This paper provides several examples of how modal logic can be used in studying the XML document navigation language XPath. More specifically, we derive complete axiomatizations, computational complexity and expressive power results for XPath fragments from known results for corresponding logics. A secondary aim of the paper is to introduce XPath in a way that makes it accessible to an audience of modal logicians.
-
11Properties 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.
-
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.
-
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...
-
9Autoepistemic equilibrium logic and epistemic specificationsArtificial Intelligence 282 (C): 103249. 2020.
-
9Properties 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.
-
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.
-
7From ordering-based nonmonotonic reasoning to conditional logicsArtificial Intelligence 66 (2): 375-393. 1994.
-
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.
-
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.
-
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
-
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.
-
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
-
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.
-
On Modal Logics of Group BeliefIn Emiliano Lorini & Andreas Herzig (eds.), The Cognitive Foundations of Group Attitudes and Social Interaction, Springer. 2015.
-
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 |