On Satisfiability in ATL with Strategy Contexts (Q2915087): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+ATL with Strategy Contexts and Bounded Memory
@@ Property / cites work: ATL with Strategy Contexts and Bounded Memory / rank @@
+Normal rank
@@ Property / cites work @@
+A STIT-Extension of ATL
@@ Property / cites work: A STIT-Extension of ATL / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908843
@@ Property / cites work: Q2908843 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+The word problem for cancellation semigroups with zero
+Normal rank
@@ Property / cites work @@
+Q3086943
@@ Property / cites work: Q3086943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonfinitizability of classes of representable polyadic algebras
+Normal rank
@@ Property / cites work @@
+Q4430406
@@ Property / cites work: Q4430406 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness and Complexity of ATL
@@ Property / cites work: On the Expressiveness and Complexity of ATL / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of <i>CA</i><sub>3</sub> is undecidable
+Normal rank
@@ Property / cites work @@
+Complexity of products of modal logics
@@ Property / cites work: Complexity of products of modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+On Satisfiability in ATL with Strategy Contexts
@@ Property / cites work: On Satisfiability in ATL with Strategy Contexts / rank @@
+Normal rank