A Tableau for Bundled Strategies (Q3455759): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-24312-2_3
+Normal rank
@@ Property / OpenAlex ID @@
+W2236969929
@@ Property / OpenAlex ID: W2236969929 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+
+Normal rank
@@ Property / cites work @@
+A Tableau for Bundled CTL
@@ Property / cites work: A Tableau for Bundled CTL / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau-based decision procedure for CTL\(^*\)
@@ Property / cites work: A tableau-based decision procedure for CTL\(^*\) / rank @@
+Normal rank
@@ Property / cites work @@
+ATL* Satisfiability Is 2EXPTIME-Complete
@@ Property / cites work: ATL* Satisfiability Is 2EXPTIME-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for CTL* Based on Tableaux and Automata
+Normal rank
@@ Property / cites work @@
+Axioms for Branching Time
@@ Property / cites work: Axioms for Branching Time / rank @@
+Normal rank
@@ Property / cites work @@
+On Non-local Propositional and Weak Monodic Quantified CTL*
+Normal rank
@@ Property / cites work @@
+A Tableau for Bundled Strategies
@@ Property / cites work: A Tableau for Bundled Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+A Rooted Tableau for BCTL*
@@ Property / cites work: A Rooted Tableau for BCTL* / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+Q5184412
@@ Property / cites work: Q5184412 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank