Embedding Alternating-time Temporal Logic in strategic STIT logic of agency

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Pages (from-to)	559-578
Number of pages	20
Journal	Journal of Logic and Computation
Volume	16
Publication status	Published - 2006

BroersenHerzigTroquard:JLC06

Access to Document

@article{d125b06a2b7443d88f6f92e9ae338d2e,

title = "Embedding Alternating-time Temporal Logic in strategic STIT logic of agency",

author = "J.M. Broersen and A. Herzig and N. Troquard",

note = "BroersenHerzigTroquard:JLC06",

year = "2006",

language = "Undefined/Unknown",

volume = "16",

pages = "559--578",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

}