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

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

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

• scientific article; zbMATH DE number 1989659 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• A STIT-Extension of ATL
• ATL with Strategy Contexts and Bounded Memory
• ATL with strategy contexts: expressiveness and model checking
• Agency and deontic logic
• Alternating-time temporal logic
• Complexity of products of modal logics
• 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

(7)

• Augmenting ATL with strategy contexts
• ATL with strategy contexts: expressiveness and model checking
• On satisfiability in ATL with strategy contexts
• Satisfiability of \textsf{ATL} with strategy contexts
• scientific article; zbMATH DE number 7368413 (Why is no real title available?)
• ATL with Strategy Contexts and Bounded Memory
• scientific article; zbMATH DE number 7438567 (Why is no real title available?)

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)