Embedding Alternating-time Temporal Logic in strategic STIT logic of agency
Publication date
2006
Authors
Broersen, J.M.
Herzig, A.
Troquard, N.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
Abstract
Keywords
Citation
Broersen, J M, Herzig, A & Troquard, N 2006, 'Embedding Alternating-time Temporal Logic in strategic STIT logic of agency', Journal of Logic and Computation, vol. 16, pp. 559-578.