Bibtex de la publication

@InProceedings{ HeLoTr2011.1,
author = {Herzig, Andreas and Lorini, Emiliano and Troquard, Nicolas},
title = "{A dynamic logic of institutional actions (regular paper)}",
booktitle = "{Computational Logic in Multi-Agent Systems (CLIMA 2011), Barcelona, 17/07/11-18/07/11}",
editor = {Leite, João and Torroni, Paolo},
year = {2011},
month = {juillet},
publisher = {Springer},
address = {},
volume = {6814},
series = {LNCS/LNAI},
pages = {295--311},
language = {anglais},
URL = {},
abstract = {We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and institutional facts and actions; (2) the distinction between causality and ‘counts-as’; (3) the notion of institutional power. Technically, our contribution consists in extending a dynamic logic of propositional assignments with constructions allowing to express that an agent plays a given role; that a physical action causes another physical action; that a physical action performed by an agent playing a given role counts as an institutional action.}