From Coalition Logic to STIT

Journal article

Peer reviewed

J Broersen, A Herzig and Nicolas Troquard

Electronic Notes in Theoretical Computer Science, Vol.157(4 SPEC. ISS.)

157

2006

Handle:

https://hdl.handle.net/10863/40786

Abstract

Agency

Coalition Logic

Modal logic

Multiagent systems

STIT theory

url

https://doi.org/10.1016/j.entcs.2006.02.011View

Title: From Coalition Logic to STIT
Creators: J Broersen - Utrecht University
A Herzig - Toulouse Institute of Computer Science Research
Nicolas Troquard - Toulouse Institute of Computer Science Research
Publication Details: Electronic Notes in Theoretical Computer Science, Vol.157(4 SPEC. ISS.)
ISSN: 1571-0661
EISSN: 1571-0661
Series / Volume: 157
Publisher: Elsevier
Identifiers: (UNIBZ)28264124
991006732398001241
Web of Science ID: WOS:000214183800003
Scopus ID: 2-s2.0-33646694333
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Journal article
Author Names String: Broersen J, Herzig A, Troquard N
Additional Description: description: Record is part of a bulk validation set

1 Record Views