Rustam Galimullin

Louwe B. Kuijer

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents.

[BibT_eX]

[DOI]

Vitaliy Dolgorukov

Maksim Gladyshev

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Varieties of Distributed Knowledge.

[BibT_eX]

Louwe B. Kuijer

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

The Expressivity of Quantified Group Announcements.

[BibT_eX]

[DOI]

J. Log. Comput., August, 2023

Quantifying over information change with common knowledge.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., June, 2023

Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ<sup>1</sup><sub>1</sub>-hard.

[BibT_eX]

[DOI]

Louwe B. Kuijer

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

(Arbitrary) Partial Communication.

[BibT_eX]

[DOI]

Fernando R. Velázquez-Quesada

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2022

Satisfiability of Quantified Boolean Announcements.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Tim French

CoRR, 2022

Logic of Visibility in Social Networks.

[BibT_eX]

[DOI]

Mina Young Pedersen

Marija Slavkovik

Proceedings of the Logic, Language, Information, and Computation, 2022

Coalition Logic for Specification and Verification of Smart Contract Upgrades.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

Action Models for Coalition Logic.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

2021

Coalition and Relativised Group Announcement Logic.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2021

Verification and Strategy Synthesis for Coalition Announcement Logic.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2021

No Finite Model Property for Logics of Quantified Announcements.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Tim French

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

Quantified Announcements and Common Knowledge.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2019

Coalition announcements.

[BibT_eX]

[DOI]

PhD thesis, 2019

Public Group Announcements and Trust in Doxastic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Group Announcement Logic with Distributed Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Model Checking for Coalition Announcement Logic.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

2017

Coalition and Group Announcement Logic.

[BibT_eX]

[DOI]