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

@@ Property / DOI @@
-.1016/j.jal.2014.03.002
@@ Property / DOI: 10.1016/j.jal.2014.03.002 / 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
@@ Property / DOI @@
+.1016/J.JAL.2014.03.002
@@ Property / DOI: 10.1016/J.JAL.2014.03.002 / rank @@
+Normal rank