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