Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
From MaRDI portal
Publication:1420807
DOI10.1023/A:1026185103185zbMath1034.03013OpenAlexW1497329491MaRDI QIDQ1420807
Michael Wooldridge, Wiebe van der Hoek
Publication date: 23 January 2004
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026185103185
Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (65)
Quantified temporal alethic boulesic doxastic logic ⋮ Specification and Verification of Multi-Agent Systems ⋮ A complete coalition logic of temporal knowledge for multi-agent systems ⋮ An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking ⋮ Logic and social cognition. The facts matter, and so do computational models ⋮ Practical verification of multi-agent systems against \textsc{Slk} specifications ⋮ Imperfect information in reactive modules games ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ Complexity of finite-variable fragments of propositional temporal and modal logics of computation ⋮ A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic ⋮ Data-informed knowledge and strategies ⋮ Knowledge-based strategies for multi-agent teams playing against nature ⋮ A logic for conditional local strategic reasoning ⋮ Tableau-based automata construction for dynamic linear time temporal logic ⋮ BISIMULATIONS FOR KNOWING HOW LOGICS ⋮ Intentions and potential intentions revisited ⋮ Social laws in alternating time: effectiveness, feasibility, and synthesis ⋮ Combined model checking for temporal, probabilistic, and real-time logics ⋮ THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES ⋮ HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems ⋮ DOING WITHOUT ACTION TYPES ⋮ A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ ⋮ Together we know how to achieve: an epistemic logic of know-how ⋮ Unnamed Item ⋮ A first-order coalition logic for BDI-agents ⋮ Cancer hybrid automata: model, beliefs and therapy ⋮ Living up to one's commitments: Agency, strategies and trust ⋮ On the logic of cooperation and propositional control ⋮ DYNAMICS OF CHOICE RESTRICTION IN LARGE GAMES ⋮ Logical formalism for specification of real-time multiagent systems ⋮ Planning-based knowing how: a unified approach ⋮ Epistemic GDL: a logic for representing and reasoning about imperfect information games ⋮ Intelligence in Strategic Games ⋮ A GENERAL NOTION OF UNIFORM STRATEGIES ⋮ Stability under Strategy Switching ⋮ Model checking abilities of agents: a closer look ⋮ Strategic reasoning: building cognitive models from logical formulas ⋮ Stit semantics for epistemic notions based on information disclosure in interactive settings ⋮ Alternating-time stream logic for multi-agent systems ⋮ A logic for reasoning about counterfactual emotions ⋮ Deontic epistemic stit logic distinguishing modes of mens rea ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ Modeling reasoning in a social setting ⋮ Action and knowledge in alternating-time temporal logic ⋮ Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions ⋮ Knowing-how under uncertainty ⋮ Natural strategic ability ⋮ Knowledge condition games ⋮ A logic of strategic ability under bounded memory ⋮ On composition of bounded-recall plans ⋮ Logics for Dynamic Epistemic Behavioral Strategies ⋮ Alternating-Time Temporal Announcement Logic ⋮ Dynamic Restriction of Choices: Synthesis of Societal Rules ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION ⋮ Bounded model checking for knowledge and real time ⋮ Constructive knowledge: what agents can achieve under imperfect information ⋮ A logical characterisation of qualitative coalitional games ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics ⋮ Verification of multi-agent systems with public actions against strategy logic ⋮ On obligations and normative ability: Towards a logical analysis of the social contract ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Reasoning about memoryless strategies under partial observability and unconditional fairness constraints ⋮ A Compositional Automata-based Approach for Model Checking Multi-Agent Systems ⋮ A logical framework for convention
This page was built for publication: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
