Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

DOI10.1093/LOGCOM/EXL025MaRDI QIDQ3431962zbMATH OpenOpenAlexFDO

Authors Andreas Herzig, Nicolas Troquard, Jan 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

zbMATH Keywords

modal logicmulti-agent systemsSTIT theorytemporal logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• Refining strategic ability in alternating-time temporal logic
• Relentful strategic reasoning in alternating-time temporal logic
• Relentful strategic reasoning in alternating-time temporal logic
• A Temporal Logic for the Interaction of Strategies
• Alternating-time temporal logic with finite-memory strategies
• scientific article; zbMATH DE number 2088152
• On epistemic temporal strategic logic
• A formal treatment of agents, goals and operations using alternating-time temporal logic
• Dynamic temporal logical operations in multi-agent logics
• Game-Theoretic Semantics for Alternating-Time Temporal Logic

Cited in

(21)

• Complexity results of STIT fragments
• Probabilistic stit logic and its decomposition
• A dynamic logic of agency. I: STIT, capabilities and powers
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Probabilistic stit logic
• A Temporal Logic for the Interaction of Strategies
• Update semantics for imperatives with priorities
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Constructive knowledge: what agents can achieve under imperfect information
• ACTION TYPES IN STIT SEMANTICS
• scientific article; zbMATH DE number 2088152 (Why is no real title available?)
• The logic of joint ability in two-player tacit games
• A logic for reasoning about counterfactual emotions
• Stit semantics for epistemic notions based on information disclosure in interactive settings
• DOING WITHOUT ACTION TYPES
• Combinations of stit and actions
• Completeness of a branching-time logic with possible choices
• Actions as events
• Comparing expressiveness of logics defined within different classes of models
• Some forms of collectively bringing about or `seeing to it that'

This page was built for publication: Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3431962)