Concurrent Game Structures for Temporal STIT Logic

Conference object English OPEN
Boudou, Joseph; Lorini, Emiliano;
  • Publisher: HAL CCSD
  • Subject: Temporal STIT logic | [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] | Logique en informatique

International audience; The paper introduces a new semantics for temporal STIT logic (the logic of seeing to it that ) based on concurrent game structures (CGSs), thereby strengthening the connection between temporal STIT and existing logics for MAS including coalition ... View more
Share - Bookmark