Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals (Q1740653): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1016/j.ic.2019.02.002
@@ Property / DOI: 10.1016/j.ic.2019.02.002 / rank @@
-Normal rank
@@ Property / cites work @@
+On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures
+Normal rank
@@ Property / cites work @@
+Checking interval properties of computations
@@ Property / cites work: Checking interval properties of computations / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / 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 @@
+The dark side of interval temporal logic: marking the undecidability border
+Normal rank
@@ Property / cites work @@
+Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
+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 @@
+On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
+Normal rank
@@ Property / cites work @@
+Decidable and Undecidable Fragments of Halpern and Shoham’s Interval Temporal Logic: Towards a Complete Classification
+Normal rank
@@ Property / cites work @@
+Decidability of the Interval Temporal Logic $\mathsf{A\bar{A}B\bar{B}}$ over the Rationals
+Normal rank
@@ Property / cites work @@
+Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
+Normal rank
@@ Property / cites work @@
+Q5483013
@@ Property / cites work: Q5483013 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux for Logics of Subinterval Structures over Dense Orderings
+Normal rank
@@ Property / cites work @@
+A decidable weakening of Compass Logic based on cone-shaped cardinal directions
+Normal rank
@@ Property / cites work @@
+Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
+Normal rank
@@ Property / cites work @@
+Intervals and tenses
@@ Property / cites work: Intervals and tenses / rank @@
+Normal rank
@@ Property / cites work @@
+A logical study of distributed transition systems
@@ Property / cites work: A logical study of distributed transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank
@@ Property / cites work @@
+Q4348133
@@ Property / cites work: Q4348133 / rank @@
+Normal rank
@@ Property / cites work @@
+Lossy Counter Machines Decidability Cheat Sheet
@@ Property / cites work: Lossy Counter Machines Decidability Cheat Sheet / rank @@
+Normal rank
@@ Property / cites work @@
+The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
@@ Property / cites work @@
+THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
+Normal rank
@@ Property / Wikidata QID @@
+Q128279235
@@ Property / Wikidata QID: Q128279235 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2019.02.002
@@ Property / DOI: 10.1016/J.IC.2019.02.002 / rank @@
+Normal rank
@@ Property / Recommended article @@
+On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures
+Normal rank
+Similarity Score: 0.9512467Amount 0.9512467
Unit 1
-Amount
+.9512467
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5483012
@@ Property / Recommended article: Q5483012 / rank @@
+Normal rank
@@ Property / Recommended article: Q5483012 / qualifier @@
+Similarity Score: 0.92105997Amount 0.92105997
Unit 1
-Amount
+.92105997
 Unit
@@ Property / Recommended article: Q5483012 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Decidable fragments of first-order modal logics
+Normal rank
+Similarity Score: 0.9018684Amount 0.9018684
Unit 1
-Amount
+.9018684
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Decidability of some classes of modal logic
+Normal rank
+Similarity Score: 0.89585793Amount 0.89585793
Unit 1
-Amount
+.89585793
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
+Similarity Score: 0.8923844Amount 0.8923844
Unit 1
-Amount
+.8923844
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On the Decidability of Elementary Modal Logics
+Normal rank
+Similarity Score: 0.8905899Amount 0.8905899
Unit 1
-Amount
+.8905899
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The decidability of the intensional fragment of classical linear logic
+Normal rank
+Similarity Score: 0.8877998Amount 0.8877998
Unit 1
-Amount
+.8877998
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2753686
@@ Property / Recommended article: Q2753686 / rank @@
+Normal rank
@@ Property / Recommended article: Q2753686 / qualifier @@
+Similarity Score: 0.8822546Amount 0.8822546
Unit 1
-Amount
+.8822546
 Unit
@@ Property / Recommended article: Q2753686 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Decidable fragments of many-sorted logic
@@ Property / Recommended article: Decidable fragments of many-sorted logic / rank @@
+Normal rank
+Similarity Score: 0.88074553Amount 0.88074553
Unit 1
-Amount
+.88074553
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Decidable Fragments of Many-Sorted Logic
@@ Property / Recommended article: Decidable Fragments of Many-Sorted Logic / rank @@
+Normal rank
+Similarity Score: 0.88074553Amount 0.88074553
Unit 1
-Amount
+.88074553
 Unit
+Recommender Run: Recommender Run 2