On satisfiability in ATL with strategy contexts

DOI10.1007/978-3-642-33353-8_31MaRDI QIDQ2915087zbMATH OpenOpenAlexFDO

Authors Nicolas Troquard, D. Walther

Publication date 21 September 2012

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33353-8_31

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Cooperative games (91A12)

Recommendations

• Satisfiability of \textsf{ATL} with strategy contexts
• Augmenting ATL with strategy contexts
• ATL* Satisfiability Is 2EXPTIME-Complete
• ATL with Strategy Contexts and Bounded Memory
• ATL with strategy contexts: expressiveness and model checking

Cites work

• A STIT-Extension of ATL
• Agency and deontic logic
• Alternating-time temporal logic
• ATL with Strategy Contexts and Bounded Memory
• ATL with strategy contexts: expressiveness and model checking
• Complexity of products of modal logics
• scientific article; zbMATH DE number 1989659 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• Many-dimensional modal logics: theory and applications
• Nonfinitizability of classes of representable polyadic algebras
• On languages with two variables
• On satisfiability in ATL with strategy contexts
• On the Expressiveness and Complexity of ATL
• Properties of logics of individual and group agency
• The equational theory of CA₃ is undecidable
• The word problem for cancellation semigroups with zero

Cited in

(9)

• ATL with strategy contexts: expressiveness and model checking
• On satisfiability in ATL with strategy contexts
• ATL with Strategy Contexts and Bounded Memory
• Satisfiability of \textsf{ATL} with strategy contexts
• scientific article; zbMATH DE number 7368413 (Why is no real title available?)
• scientific article; zbMATH DE number 7438567 (Why is no real title available?)
• Formal verification and synthesis of mechanisms for social choice
• Complete axiomatization and decidability of the logic of two-agent cooperative strategic interaction
• Augmenting ATL with strategy contexts

This page was built for publication: On satisfiability in ATL with strategy contexts

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