A tableau-based decision procedure for CTL\(^*\) (Q432138): Difference between revisions

@@ Property / cites work @@
+Q4941896
@@ Property / cites work: Q4941896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518425
@@ Property / cites work: Q4518425 / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+Alternative semantics for temporal logics
@@ Property / cites work: Alternative semantics for temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for CTL* Based on Tableaux and Automata
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484475
@@ Property / cites work: Q4484475 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of full Computation Tree Logic
@@ Property / cites work: An axiomatization of full Computation Tree Logic / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of PCTL*
@@ Property / cites work: An axiomatization of PCTL* / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau for Bundled CTL
@@ Property / cites work: A Tableau for Bundled CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838819
@@ Property / cites work: Q3838819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank