A dynamic logic of institutional actions (Contributo in atti di convegno)

Type
Label
  • A dynamic logic of institutional actions (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-642-22359-4_21 (literal)
Alternative label
  • Herzig, Andreas ; Lorini, Emiliano ; Troquard, Nicolas (2011)
    A dynamic logic of institutional actions
    in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS,12 International Conference. Proceedings, CLIMA'12, Barcelona, Spain, 17-18 July 2011
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Herzig, Andreas ; Lorini, Emiliano ; Troquard, Nicolas (literal)
Pagina inizio
  • 295 (literal)
Pagina fine
  • 311 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • ID_PUMA: /cnr.istc/2011-A2-027. - Area di valutazione 01 - Scienze matematiche e informatiche (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.springerlink.com/content/kt2wu301vl67m254/ (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 6814 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTC, Trento (literal)
Titolo
  • A dynamic logic of institutional actions (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • J. Leite, P. Torroni, T. Agotnes, G.Boella, L. Torre van der (literal)
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. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it