Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection

DOI10.1007/978-3-031-45558-2_10MaRDI QIDQ6562536

Dimitar P. Guelev

Publication date: 26 June 2024

zbMATH Keywords

temporal projectionannouncementsrational synthesisconcurrent game modelstemporary coalitions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Complete axiomatizations for reasoning about knowledge and branching time
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Multi-agent conformant planning with distributed knowledge
• An application of temporal projection to interleaving concurrency
• Concurrent Games with Ordered Objectives
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• Conditional Epistemic Planning
• Alternating-time temporal dynamic epistemic logic
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• SAT-Based Model Checking
• Rational Synthesis
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Dynamic Epistemic Logic and Knowledge Puzzles
• On the logic of theory change: Partial meet contraction and revision functions
• Formal verification of parallel programs
• Complete Axiomatizations for Reasoning about Knowledge and Time
• The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games
• Model Checking for Coalition Announcement Logic

This page was built for publication: Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection