scientific article

zbMath1483.03011arXiv1707.08759MaRDI QIDQ3384085

Pavel Naumov, Jia Tao

Publication date: 14 December 2021

Full work available at URL: https://arxiv.org/abs/1707.08759

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (9)

Data-informed knowledge and strategies ⋮ BISIMULATIONS FOR KNOWING HOW LOGICS ⋮ Tableaux for the Logic of Strategically Knowing How ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Planning-based knowing how: a unified approach ⋮ An epistemic logic of blameworthiness ⋮ Knowing-how under uncertainty ⋮ On composition of bounded-recall plans ⋮ Knowing the price of success

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about coalitional games
• Group announcement logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Together we know how to achieve: an epistemic logic of know-how
• A logic of goal-directed knowing how
• On the logic of cooperation and propositional control
• Calculus of cooperation and game-based reasoning about protocol privacy
• Games in Dynamic-Epistemic Logic
• Alternating-time temporal logic
• A Logic of Knowing How
• Constructive knowledge: what agents can achieve under imperfect information
• A Modal Logic for Coalitional Power in Games

This page was built for publication: