Dynamic coalition logic: granting and revoking dictatorial powers

DOI10.1007/978-3-030-88708-7_7OpenAlexW3202578803MaRDI QIDQ2148819

Thomas Ågotnes, Rustam Galimullin

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88708-7_7

zbMATH Keywords

modal logiccoalition logicarrow updatesdynamic coalition logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Dynamic epistemic logic
• Coalition and relativised group announcement logic
• Comparing semantics of logics for multi-agent systems
• Epistemic planning for single- and multi-agent systems
• ARROW UPDATE LOGIC
• Alternating-time temporal logic
• A Modal Logic for Coalitional Power in Games
• Modal logics of sabotage revisited
• Relation-changing modal operators: Fig. 1.

This page was built for publication: Dynamic coalition logic: granting and revoking dictatorial powers