Fuzzy Halpern and Shoham's interval temporal logics (Q6083148): 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 @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / 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 @@
+Q4708923
@@ Property / cites work: Q4708923 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
+Normal rank
@@ Property / cites work @@
+Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
+Normal rank
@@ Property / cites work @@
+The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
+Normal rank
@@ Property / cites work @@
+Horn Fragments of the Halpern-Shoham Interval Temporal Logic
+Normal rank
@@ Property / cites work @@
+Q6080270
@@ Property / cites work: Q6080270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5079773
@@ Property / cites work: Q5079773 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3989936
@@ Property / cites work: Q3989936 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+Standard Gödel modal logics
@@ Property / cites work: Standard Gödel modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Making fuzzy description logic more general
@@ Property / cites work: Making fuzzy description logic more general / rank @@
+Normal rank
@@ Property / cites work @@
+On modal extensions of Product fuzzy logic
@@ Property / cites work: On modal extensions of Product fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity relations and fuzzy orderings
@@ Property / cites work: Similarity relations and fuzzy orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Representations and constructions of similarity-based fuzzy orderings.
+Normal rank
@@ Property / cites work @@
+Similarity relations, fuzzy linear orders, and fuzzy partial orders
+Normal rank
@@ Property / cites work @@
+Similarity relations, fuzzy partitions, and fuzzy orderings
+Normal rank
@@ Property / cites work @@
+Data-Driven Statistical Learning of Temporal Logic Properties
+Normal rank
@@ Property / cites work @@
+A Decision Tree Approach to Data Classification using Signal Temporal Logic
+Normal rank
@@ Property / cites work @@
+Q4999269
@@ Property / cites work: Q4999269 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between fuzzy description logics and many-valued modal logics
+Normal rank
@@ Property / cites work @@
+Data structures for symbolic multi-valued model-checking
+Normal rank
@@ Property / cites work @@
+Temporal reasoning about fuzzy intervals
@@ Property / cites work: Temporal reasoning about fuzzy intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Two-sorted Point-Interval Temporal Logics
@@ Property / cites work: Two-sorted Point-Interval Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+The Undecidability of the Logic of Subintervals
@@ Property / cites work: The Undecidability of the Logic of Subintervals / rank @@
+Normal rank
@@ Property / cites work @@
+On coarser interval temporal logics
@@ Property / cites work: On coarser interval temporal logics / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures and expressiveness in the temporal logic of branching time
+Normal rank