Author:
Ciuni Roberto,Zanardo Alberto
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference25 articles.
1. Alur Rajeev, Henzinger Thomas, Kupferman Orna: ‘Alternating-time temporal logic’. Journal of ACM 49(5), 672–713 (2002)
2. Belnap Nuel, Perloff Michael, Xu Ming: Facing the Future: agents and choices in our Indeterminist World. Oxford University Press, Oxford (2001)
3. Broersen Jan, Herzig Andreas, Troquard Nicolas: ‘From Coalition Logic to STIT’. Electronic Notes in Theoretical Computer Science 157, 23–35 (2006)
4. Broersen Jan, Herzig Andreas, Troquard Nicolas: ‘Embedding ATL in Strategic STIT Logic of Agency’. Journal of Computation 16(5), 559–578 (2006)
5. Burgess John: ‘The Unreal Future. Theoria 44, 157–179 (1978)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献