Next-time coalition logic

DOI10.1007/978-981-95-2481-5_2MaRDI QIDQ6860364zbMATH OpenFDO

Authors Thomas Ågotnes, Fengkui Ju

Publication date 10 February 2026

Full work available at URL https://doi.org/10.1007/978-981-95-2481-5_2

zbMATH Keywords

alternating-time temporal logiccoalition logiccompletenessexpressivity

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A logic for conditional local strategic reasoning
• A logic for temporal conditionals and a solution to the sea battle puzzle
• A Modal Logic for Coalitional Power in Games
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• An axiomatization of full computation tree logic
• Coalition logic with individual, distributed and common knowledge
• Complete axiomatization and decidability of alternating-time temporal logic
• Games in dynamic-epistemic logic
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• Logic for coalitions with bounded resources
• Logics with group announcements and distributed knowledge: completeness and expressive power
• Strategic coalitions in stochastic games
• Strategy logic

This page was built for publication: Next-time coalition logic

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