Together we know how to achieve: an epistemic logic of know-how (extended abstract)

zbMATH Open1483.03011arXiv1707.08759MaRDI QIDQ3384085FDOQ3384085

Authors: Pavel Naumov, Jia Tao 

Publication date: 14 December 2021

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

Recommendations

• Together we know how to achieve: an epistemic logic of know-how
• Intelligence in strategic games
• Coalition logic with individual, distributed and common knowledge
• Knowing the price of success
• A Logic of Knowing How

Mathematics Subject Classification ID

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

Cites Work

• Alternating-time temporal logic
• A Modal Logic for Coalitional Power in Games
• Title not available (Why is that?)
• Group announcement logic
• Games in dynamic-epistemic logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Title not available (Why is that?)
• Constructive knowledge: what agents can achieve under imperfect information
• On the logic of cooperation and propositional control
• Reasoning about coalitional games
• Together we know how to achieve: an epistemic logic of know-how
• A logic of goal-directed knowing how
• A Logic of Knowing How
• Calculus of cooperation and game-based reasoning about protocol privacy
• Reasoning about knowledge and strategies: epistemic strategy logic

Cited In (16)

• An epistemic logic of blameworthiness
• Knowing-how under uncertainty
• Strategic knowledge acquisition
• Intelligence in strategic games
• A logical theory of coordination and joint ability
• Data-informed knowledge and strategies
• On composition of bounded-recall plans
• Planning-based knowing how: a unified approach
• Title not available (Why is that?)
• Knowing the price of success
• Knowing how to plan about planning: higher-order and meta-level epistemic planning
• Tableaux for the Logic of Strategically Knowing How
• Together we know how to achieve: an epistemic logic of know-how
• BISIMULATIONS FOR KNOWING HOW LOGICS
• Achieving while maintaining: a logic of knowing how with intermediate constraints
• Coalition logic with individual, distributed and common knowledge

This page was built for publication: Together we know how to achieve: an epistemic logic of know-how (extended abstract)

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