A Labeled Natural Deduction System for a Fragment of CTL * (Q3605539): Difference between revisions

@@ Property / cites work @@
+Natural Deduction Calculus for Linear-Time Temporal Logic
+Normal rank
@@ Property / cites work @@
+Alternative semantics for temporal logics
@@ Property / cites work: Alternative semantics for temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438104
@@ Property / cites work: Q4438104 / 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 @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank