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, 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, 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, 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