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

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

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Analysis of algorithms and problem complexity (68Q25) 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

(9)

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

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)