• Publications
  • Influence
Propositional Belief Base Update and Minimal Change
Abstract In this paper we examine ten concrete propositional update operations of the literature. We start by completely characterizing their relative strength and their computational complexity.Expand
  • 144
  • 15
C&L Intention Revisited
The 1990 papers of Cohen and Levesque (C&L) on rational interaction have been most influential. Their approach is based on a logical framework integrating the concepts of belief, action, time, andExpand
  • 54
  • 9
A logical formalization of the OCC theory of emotions
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 thatExpand
  • 104
  • 8
Formalizing Action and Change in Modal Logic I: the frame problem
We present the basic framework of a logic of actions and plans de ned in terms of modal logic combined with a notion of dependence. The latter is used as a weak causal connection between actions andExpand
  • 89
  • 8
A logic of trust and reputation
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 trustExpand
  • 76
  • 8
ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES
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 secondExpand
  • 66
  • 7
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose anExpand
  • 58
  • 7
From Classical to Normal Modal Logics
Classical modal logics (Segerberg [27], Chellas [2]) are weaker than the well-known normal modal logics: The only rule that is common to all classical modal logics is (We nevertheless noteExpand
  • 42
  • 7
'Knowable' as 'known after an announcement'
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose anExpand
  • 114
  • 6
Properties of logics of individual and group agency
abstract. Weprovideproof-theoreticresultsaboutdeliberativeSTIT logic.Expand
  • 62
  • 5