Model Checking for Coalition Announcement Logic

DOI10.1007/978-3-030-00111-7_2zbMATH Open1515.68179MaRDI QIDQ6488076FDOQ6488076

Authors: Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch 

Publication date: 24 March 2023

Recommendations

• Model checking for coalition announcement logic
• Verification and strategy synthesis for coalition announcement logic
• Coalition and relativised group announcement logic
• Symbolic model checking of public announcement protocols
• Coalgebraic Announcement Logics
• Coalition and group announcement logic
• Model checking for hybrid logic
• A resolution prover for coalition logic
• Quantified coalition logic
• Model checking for action-based logics

Mathematics Subject Classification ID

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)

Cited In (7)

• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
• To be announced
• Coalition and group announcement logic
• Model checking for coalition announcement logic
• Coalition and relativised group announcement logic
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Verification and strategy synthesis for coalition announcement logic

This page was built for publication: Model Checking for Coalition Announcement Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488076)