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

MaRDI QIDQ3384085zbMATH OpenFDO

Authors Pavel Naumov, Jia Tao

Publication date 14 December 2021

Full work available at URL https://arxiv.org/abs/1707.08759, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.32

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(16)

• Achieving while maintaining: a logic of knowing how with intermediate constraints
• Coalition logic with individual, distributed and common knowledge
• 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
• scientific article; zbMATH DE number 1746025 (Why is no real title available?)
• Knowing the price of success
• Knowing how to plan about planning: higher-order and meta-level epistemic planning
• Together we know how to achieve: an epistemic logic of know-how
• Tableaux for the Logic of Strategically Knowing How
• BISIMULATIONS FOR KNOWING HOW LOGICS

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)