Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.06.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2114803784
@@ Property / OpenAlex ID: W2114803784 / 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 @@
+Decidability of a Hybrid Duration Calculus
@@ Property / cites work: Decidability of a Hybrid Duration Calculus / rank @@
+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 @@
+Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability
+Normal rank
@@ Property / cites work @@
+On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
+Normal rank
@@ Property / cites work @@
+Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
+Normal rank
@@ Property / cites work @@
+An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding an Interval Logic with Accumulated Durations
+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 @@
+A Theory of Duration Calculus with Application
@@ Property / cites work: A Theory of Duration Calculus with Application / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility and surjectivity problems of cellular automata
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
+Normal rank
@@ Property / cites work @@
+Interval Duration Logic
@@ Property / cites work: Interval Duration Logic / rank @@
+Normal rank