Action models for coalition logic
From MaRDI portal
Publication:6550523
DOI10.1007/978-3-031-26622-5_5MaRDI QIDQ6550523
Rustam Galimullin, Thomas Ågotnes
Publication date: 5 June 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Refinement modal logic
- Logics of temporal-epistemic actions
- Merging DEL and ETL
- Dynamic epistemic logic
- A guide to completeness and complexity for modal logics of knowledge and belief
- Dynamic coalition logic: granting and revoking dictatorial powers
- Arrow update synthesis
- Logics for epistemic programs
- Logics of public communications
- Model Checking Logics of Strategic Ability: Complexity*
- ARROW UPDATE LOGIC
- Alternating-time temporal logic
- Robust normative systems and a logic of norm compliance
- A Modal Logic for Coalitional Power in Games
- Relation-changing modal operators: Fig. 1.
- Arbitrary Action Model Logic and Action Model Synthesis
- Computational Complexity
This page was built for publication: Action models for coalition logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6550523)
