Together we know how to achieve: an epistemic logic of know-how
From MaRDI portal
Publication:1711891
DOI10.1016/J.ARTINT.2018.06.007zbMath1454.03025arXiv1705.09349OpenAlexW2963238164WikidataQ129653393 ScholiaQ129653393MaRDI QIDQ1711891
Publication date: 18 January 2019
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1705.09349
Related Items (15)
Data-informed knowledge and strategies ⋮ BISIMULATIONS FOR KNOWING HOW LOGICS ⋮ Counterfactual and seeing-to-it responsibilities in strategic games ⋮ Tableaux for the Logic of Strategically Knowing How ⋮ Knowledge-wh and False Belief Sensitivity: A Logical Study (An Extended Abstract) ⋮ Neighborhood semantics for logic of knowing how ⋮ Tableau-based decision procedure for logic of knowing-how via simple plans ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Planning-based knowing how: a unified approach ⋮ Intelligence in Strategic Games ⋮ An epistemic logic of blameworthiness ⋮ Stit semantics for epistemic notions based on information disclosure in interactive settings ⋮ Knowing-how under uncertainty ⋮ Knowing the price of success
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Resolving distributed knowledge
- A logic of goal-directed knowing how
- Complete axiomatization and decidability of alternating-time temporal logic
- 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: Together we know how to achieve: an epistemic logic of know-how