Title
A dynamic logic of institutional actions
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.
Year
DOI
Venue
2011
10.1007/978-3-642-22359-4_21
CLIMA
Keywords
Field
DocType
propositional assignment,dynamic logic,physical fact,institutional action,logical framework,physical action,institutional power,institutional fact,important aspect,role count
Causality,Cognitive science,Artificial intelligence,Dynamic logic (digital electronics),Logical framework,Mathematics,Propositional variable
Conference
Volume
ISSN
Citations 
6814
0302-9743
1
PageRank 
References 
Authors
0.36
23
3
Name
Order
Citations
PageRank
Andreas Herzig1989.79
Emiliano Lorini243855.70
Nicolas Troquard326629.54