Model Checking for Coalition Announcement Logic

DOI10.1007/978-3-030-00111-7_2MaRDI QIDQ6488076zbMATH OpenFDO

Authors Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch

Publication date 24 March 2023

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)

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

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)