Publisher
Springer International Publishing
Reference29 articles.
1. Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Inf. Comp. 208(6), 677–693 (2010)
2. Mogavero, F., Murano, A., Perelli, G., Vardi, M.Y.: Reasoning about strategies: On the model-checking problem. ACM Trans. Comput. Log. 15(4), 1–47 (2014)
3. Ågotnes, T., Goranko, V., Jamroga, W., Wooldridge, M.: Knowledge and ability. Volume In: van Ditmarsch, H., Halpern, J.Y., van der Hoek, W., Kooi, B. (eds.) Handbook of Epistemic Logic, pp. 543–589. College Publications (2015)
4. Jamroga, W., Ågotnes, T.: Constructive knowledge: what agents can achieve under imperfect information. J. Appl. Non-Class. Log. 17, 423–475 (2007)
5. Belardinelli, F.: Reasoning about knowledge and strategies: epistemic strategy logic. In: Proceedings of 2nd International Workshop on Strategic Reasoning, SR, pp. 27–33 (2014)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献