A logic of strategic ability under bounded memory
From MaRDI portal
Recommendations
- Reasoning about strategic abilities: agents with truly perfect recall
- Logics for Reasoning About Strategic Abilities in Multi-player Games
- Quantifying Bounds in Strategy Logic
- Strategic reasoning with a bounded number of resources: the quest for tractability
- scientific article; zbMATH DE number 7297884
- A behavioral hierarchy of strategy logic
- Strategies in games: a perspective from logic and computation
- Refining strategic ability in alternating-time temporal logic
- Model Checking Logics of Strategic Ability: Complexity*
- Expressiveness and complexity results for strategic reasoning
Cites work
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 2182496 (Why is no real title available?)
- scientific article; zbMATH DE number 2087385 (Why is no real title available?)
- A Modal Logic for Coalitional Power in Games
- Alternating-time logic with imperfect recall
- Alternating-time temporal logic
- Complete axiomatization and decidability of alternating-time temporal logic
- Constructive knowledge: what agents can achieve under imperfect information
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
Cited in
(8)- Belief ascription under bounded resources
- An Update Operator for Strategic Ability
- Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
- Strategy constrained by cognitive limits, and the rationality of belief-revision policies
- On composition of bounded-recall plans
- Natural strategic ability
- Reasoning about strategic abilities: agents with truly perfect recall
- Logical player types for a theory of play
This page was built for publication: A logic of strategic ability under bounded memory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1006515)
