Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy (Q1784961): Difference between revisions

@@ Property / describes a project that uses @@
+DDVerify
@@ Property / describes a project that uses: DDVerify / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MCMAS
@@ Property / describes a project that uses: MCMAS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2891153460
@@ Property / OpenAlex ID: W2891153460 / rank @@
+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 Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
+Normal rank
@@ Property / cites work @@
+An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions
+Normal rank
@@ Property / cites work @@
+Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments
+Normal rank
@@ Property / cites work @@
+Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
+Normal rank
@@ Property / cites work @@
+Q5015270
@@ Property / cites work: Q5015270 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
+Normal rank
@@ Property / cites work @@
+The dark side of interval temporal logic: marking the undecidability border
+Normal rank
@@ Property / cites work @@
+Tableaux for Logics of Subinterval Structures over Dense Orderings
+Normal rank
@@ Property / cites work @@
+Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
+Normal rank
@@ Property / cites work @@
+On truth-table reducibility to SAT
@@ Property / cites work: On truth-table reducibility to SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532080
@@ Property / cites work: Q4532080 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Database Applications
@@ Property / cites work: Model Checking Database Applications / rank @@
+Normal rank
@@ Property / cites work @@
+A Road Map of Interval Temporal Logics and Duration Calculi
+Normal rank
@@ Property / cites work @@
+NP trees and Carnap's modal logic
@@ Property / cites work: NP trees and Carnap's modal logic / 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 @@
+Q2771058
@@ Property / cites work: Q2771058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738231
@@ Property / cites work: Q4738231 / rank @@
+Normal rank
@@ Property / cites work @@
+Counting CTL
@@ Property / cites work: Counting CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q5283018
@@ Property / cites work: Q5283018 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking interval properties of computations
@@ Property / cites work: Checking interval properties of computations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5351958
@@ Property / cites work: Q5351958 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
@@ Property / cites work @@
+A decidable weakening of Compass Logic based on cone-shaped cardinal directions
+Normal rank
@@ Property / cites work @@
+Q4743737
@@ Property / cites work: Q4743737 / 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 @@
+Temporal prepositions and their logic
@@ Property / cites work: Temporal prepositions and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+Intervals and tenses
@@ Property / cites work: Intervals and tenses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449220
@@ Property / cites work: Q4449220 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Chopping Intervals
@@ Property / cites work: A Modal Logic for Chopping Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+More complicated questions about maxima and minima, and some closures of NP
+Normal rank
@@ Property / cites work @@
+Bounded Query Classes
@@ Property / cites work: Bounded Query Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank
@@ Property / Wikidata QID @@
+Q129288947
@@ Property / Wikidata QID: Q129288947 / rank @@
+Normal rank