Knowledge and common knowledge of strategies

DOI10.1007/978-3-032-33486-2_2MaRDI QIDQ7411238zbMATH OpenFDO

Authors Borja Sierra-Miranda, Thomas Studer

Publication date 2027

Full work available at URL https://doi.org/10.1007/978-3-032-33486-2_2

zbMATH Keywords

consensusepistemic logicstrategic reasoning

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites work

• A Modal Logic for Coalitional Power in Games
• A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
• Alternating-time temporal logic
• Beyond knowledge of the model
• Coalgebraic proof translations for non-wellfounded proofs
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Cyclic Proofs for Linear Temporal Logic
• How to make the perfect fireworks display: two strategies for Hanabi
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Introduction to Reliable and Secure Distributed Programming
• On definitive solutions of strategic games
• Reasoning about strategies: on the model-checking problem
• Simplicial models for the epistemic logic of faulty agents
• Strategy logic
• Synergistic knowledge
• The Hanabi challenge: a new frontier for AI research
• Two ways to common knowledge

This page was built for publication: Knowledge and common knowledge of strategies

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