Model Checking for Coalition Announcement Logic
From MaRDI portal
Publication:6488076
DOI10.1007/978-3-030-00111-7_2zbMath1515.68179MaRDI QIDQ6488076
Rustam Galimullin, Natasha Alechina, Hans P. van Ditmarsch
Publication date: 24 March 2023
Analysis of algorithms and problem complexity (68Q25) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ To be announced ⋮ Coalition and relativised group announcement logic ⋮ Verification and strategy synthesis for coalition announcement logic
This page was built for publication: Model Checking for Coalition Announcement Logic
