A logic of strategic ability under bounded memory
From MaRDI portal
Publication:1006515
DOI10.1007/S10849-008-9075-4zbMATH Open1163.68037OpenAlexW1974847881MaRDI QIDQ1006515FDOQ1006515
Publication date: 24 March 2009
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-008-9075-4
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Alternating-time temporal logic
- A Modal Logic for Coalitional Power in Games
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Constructive knowledge: what agents can achieve under imperfect information
- Complete axiomatization and decidability of alternating-time temporal logic
- Alternating-time logic with imperfect recall
Cited In (7)
- 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
- Logical Player Types for a Theory of Play
Recommendations
- Refining strategic ability in alternating-time temporal logic 👍 👎
- Model Checking Logics of Strategic Ability: Complexity* 👍 👎
- Strategic reasoning with a bounded number of resources: the quest for tractability 👍 👎
- Logics for Reasoning About Strategic Abilities in Multi-player Games 👍 👎
- A Behavioral Hierarchy of Strategy Logic 👍 👎
- Quantifying Bounds in Strategy Logic 👍 👎
- Reasoning about Strategic Abilities 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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)
