On Satisfiability in ATL with Strategy Contexts

DOI10.1007/978-3-642-33353-8_31zbMath1362.68269OpenAlexW196035745MaRDI QIDQ2915087

Dirk Walther, Nicolas Troquard

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) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (3)

On Satisfiability in ATL with Strategy Contexts ⋮ Augmenting ATL with strategy contexts ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Many-dimensional modal logics: theory and applications
• On Satisfiability in ATL with Strategy Contexts
• Alternating-time temporal logic
• On the Expressiveness and Complexity of ATL
• A STIT-Extension of ATL
• ATL with Strategy Contexts and Bounded Memory
• The word problem for cancellation semigroups with zero
• The equational theory of CA₃ is undecidable
• On languages with two variables
• Complexity of products of modal logics
• Nonfinitizability of classes of representable polyadic algebras

This page was built for publication: On Satisfiability in ATL with Strategy Contexts