scientific article
From MaRDI portal
Publication:3384085
zbMath1483.03011arXiv1707.08759MaRDI QIDQ3384085
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.
Related Items
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
