A duration calculus with neighborhood modalities (Q2901191): 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.3166/jancl.20.81-126
+Normal rank
@@ Property / OpenAlex ID @@
+W2067780343
@@ Property / OpenAlex ID: W2067780343 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of neighbourhood logic
@@ Property / cites work: Completeness of neighbourhood logic / 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 @@
+Q5813967
@@ Property / cites work: Q5813967 / 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 @@
+Hybrid systems
@@ Property / cites work: Hybrid systems / 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 @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of continuous time specification formalisms
+Normal rank
@@ Property / cites work @@
+Expressive completeness of duration calculus.
@@ Property / cites work: Expressive completeness of duration calculus. / 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 @@
+Completeness of temporal logics over infinite intervals.
+Normal rank