Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers-Reference-Cited by-同舟云学术

Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers

Published:2021 Issue: Volume: Page:88-101
ISSN:0302-9743
Container-title:Logic, Rationality, and Interaction
language:
Short-container-title:

Author:

Galimullin Rustam,Ågotnes Thomas

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-88708-7_7

Reference15 articles.

1. Ågotnes, T., Goranko, V., Jamroga, W.: Alternating-time temporal logics with irrevocable strategies. In: Samet, D. (ed.) Proceedings of the 11th TARK, pp. 15–24 (2007). https://doi.org/10.1145/1324249.1324256

2. Ågotnes, T., Goranko, V., Jamroga, W., Wooldridge, M.: Knowledge and ability. In: van Ditmarsch, H., Halpern, J.Y., van der Hoek, W., Kooi, B. (eds.) Handbook of Epistemic Logic, pp. 543–589. College Publications (2015)

3. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002). https://doi.org/10.1145/585265.585270

4. Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Logic J. IGPL 23(4), 601–627 (2015). https://doi.org/10.1093/jigpal/jzv020

5. Aucher, G., van Benthem, J., Grossi, D.: Modal logics of sabotage revisited. J. Logic Comput. 28(2), 269–303 (2018). https://doi.org/10.1093/logcom/exx034

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Action Models for Coalition Logic;Lecture Notes in Computer Science;2023

2. Coalition Logic for Specification and Verification of Smart Contract Upgrades;PRIMA 2022: Principles and Practice of Multi-Agent Systems;2022-11-12