Constraining cycle alternations in model checking for interval temporal logic (Q737106): Difference between revisions

@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4904145
@@ Property / cites work: Q4904145 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283018
@@ Property / cites work: Q5283018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5351958
@@ Property / cites work: Q5351958 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal prepositions and their logic
@@ Property / cites work: Temporal prepositions and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank