A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179): Difference between revisions

@@ Property / arXiv ID @@
+.0829
@@ Property / arXiv ID: 1309.0829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and time
@@ Property / cites work: Logic and time / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability for branching time
@@ Property / cites work: Decidability for branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for tense logic. I: 'Since' and 'until'
@@ Property / cites work: Axioms for tense logic. I: 'Since' and 'until' / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+REASONING ABOUT TRANSFINITE SEQUENCES
@@ Property / cites work: REASONING ABOUT TRANSFINITE SEQUENCES / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear-time temporal logic over the class of ordinals
+Normal rank
@@ Property / cites work @@
+Q4929426
@@ Property / cites work: Q4929426 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / 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 @@
+A decidable propositional dynamic logic with explicit probabilities
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Dealing with zero-time transitions in axiom systems.
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with time and chance
@@ Property / cites work: Reasoning with time and chance / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / 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 @@
+The complexity of propositional linear temporal logics
+Normal rank