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

DSpace/Manakin Repository

Embedding Alternating-time Temporal Logic in strategic STIT logic of agency
 
Broersen, J.M.; Herzig, A.; Troquard, N.
(2006) Journal of Logic and Computation, volume 16, pp. 559 - 578
(Article)
Download/Full Text
Open Access version via Utrecht University Repository other
 
ISSN: 0955-792X
Publisher: Oxford University Press
Note: BroersenHerzigTroquard:JLC06
(Peer reviewed)
 
 
See more statistics about this item