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.09349OpenAlexW2963238164MaRDI 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
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
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
