On satisfiability in ATL with strategy contexts
From MaRDI portal
Publication:2915087
Recommendations
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 CA3 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)