On Satisfiability in ATL with Strategy Contexts
From MaRDI portal
Publication:2915087
DOI10.1007/978-3-642-33353-8_31zbMath1362.68269MaRDI 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
91A12: Cooperative games
68T27: Logic in artificial intelligence
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic
68T42: Agent technology and artificial intelligence
Related Items
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 CA3 is undecidable
- On languages with two variables
- Complexity of products of modal logics
- Nonfinitizability of classes of representable polyadic algebras