Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
From MaRDI portal
Publication:3431962
DOI10.1093/logcom/exl025zbMath1120.03014OpenAlexW2105533871MaRDI QIDQ3431962
Andreas Herzig, Nicolas Troquard, Jan M. Broersen
Publication date: 13 April 2007
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exl025
Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)
Related Items
Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Some forms of collectively bringing about or `seeing to it that' ⋮ Complexity results of STIT fragments ⋮ Combinations of stit and actions ⋮ Completeness of a branching-time logic with possible choices ⋮ THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES ⋮ DOING WITHOUT ACTION TYPES ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ Probabilistic stit logic and its decomposition ⋮ A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ ⋮ Probabilistic Stit Logic ⋮ Actions as events ⋮ Stit semantics for epistemic notions based on information disclosure in interactive settings ⋮ A logic for reasoning about counterfactual emotions ⋮ A dynamic logic of agency. I: STIT, capabilities and powers ⋮ A Complete STIT Logic for Knowledge and Action, and Some of Its Applications ⋮ Update Semantics for Imperatives with Priorities ⋮ Constructive knowledge: what agents can achieve under imperfect information
