Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers

von Galimullin, Rustam
Veröffentlicht in LORI (8. : 2021 : Online) Logic, Rationality, and Interaction (2021)

QUANTIFIED ANNOUNCEMENTS AND COMMON KNOWLEDGE

von Galimullin, Rustam
Veröffentlicht in AAMAS (20. : 2021 : Online) 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) ; Volume 1 of 3 (2021)

Action Models for Coalition Logic

von Galimullin, Rustam
Veröffentlicht in DaLí (4. : 2022 : Online) Dynamic logic (2023)

Logic of Visibility in Social Networks

von Galimullin, Rustam
Veröffentlicht in WoLLIC (28. : 2022 : Iaşi) Logic, language, information, and computation (2022)