Constructive knowledge: what agents can achieve under imperfect information

DOI10.3166/jancl.17.423-475zbMath1186.03031MaRDI QIDQ3647280

Wojciech Jamroga, Thomas Ågotnes

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.17.423-475

zbMATH Keywords

epistemic logic; imperfect information; alternating-time temporal logic; strategic ability

Mathematics Subject Classification ID

03B42: Logics of knowledge and belief (including belief change)

03B44: Temporal logic

Related Items

ACTION TYPES IN STIT SEMANTICS, Multi-valued Verification of Strategic Ability, BISIMULATIONS FOR KNOWING HOW LOGICS, Intelligence in Strategic Games, Tableaux for the Logic of Strategically Knowing How, Neighborhood semantics for logic of knowing how, DOING WITHOUT ACTION TYPES, What will they say? -- Public announcement games, Knowing the price of success, Group announcement logic, A logic of strategic ability under bounded memory, Reasoning about temporal properties of rational play, A complete coalition logic of temporal knowledge for multi-agent systems, Together we know how to achieve: an epistemic logic of know-how, Complexity results of STIT fragments, On composition of bounded-recall plans, Knowledge-based strategies for multi-agent teams playing against nature, Dynamic term-modal logics for first-order epistemic planning, A dynamic logic of agency. I: STIT, capabilities and powers, Knowing-how under uncertainty, Natural strategic ability, Reasoning about memoryless strategies under partial observability and unconditional fairness constraints, Model checking abilities of agents: a closer look, An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking, Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information, REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION, Specification and Verification of Multi-Agent Systems, Unnamed Item, Unnamed Item, A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’, Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions, Constructive knowledge: what agents can achieve under imperfect information

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Comparing semantics of logics for multi-agent systems
• Action and knowledge in alternating-time temporal logic
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Alternating-time temporal logic
• Constructive knowledge: what agents can achieve under imperfect information
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• A Modal Logic for Coalitional Power in Games
• On the Expressiveness and Complexity of ATL