Author pages are created from data sourced from our academic publisher partnerships and public sources.

- 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

C&L Intention Revisited

- A. Herzig, Dominique Longin
- Computer Science
- KR
- 2 June 2004

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, and… Expand

A logical formalization of the OCC theory of emotions

- C. Adam, A. Herzig, Dominique Longin
- Computer Science
- Synthese
- 24 February 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… Expand

Formalizing Action and Change in Modal Logic I: the frame problem

- Marcos A. Castilho, O. Gasquet, A. Herzig
- Computer Science, Mathematics
- J. Log. Comput.
- 1 October 1999

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 and… Expand

A logic of trust and reputation

- A. Herzig, Emiliano Lorini, J. F. Hübner, L. Vercouter
- Mathematics, Computer Science
- Log. J. IGPL
- 1 February 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… Expand

ALTERNATIVE AXIOMATICS AND COMPLEXITY OF DELIBERATIVE STIT THEORIES

- P. Balbiani, A. Herzig, N. Troquard
- Computer Science, Mathematics
- J. Philos. Log.
- 24 April 2007

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… Expand

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability

- P. Balbiani, A. Baltag, H. V. Ditmarsch, A. Herzig, T. Hoshi, T. Lima
- Computer Science
- TARK '07
- 25 June 2007

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 an… Expand

From Classical to Normal Modal Logics

- O. Gasquet, A. Herzig
- Mathematics
- 1996

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 note… Expand

'Knowable' as 'known after an announcement'

- P. Balbiani, A. Baltag, H. V. Ditmarsch, A. Herzig, T. Hoshi, T. Lima
- Computer Science, Mathematics
- Rev. Symb. Log.
- 1 October 2008

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 an… Expand

Properties of logics of individual and group agency

- A. Herzig, François Schwarzentruber
- Computer Science, Mathematics
- Advances in Modal Logic
- 2008

abstract. Weprovideproof-theoreticresultsaboutdeliberativeSTIT logic.… Expand