A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2017960715
@@ Property / OpenAlex ID: W2017960715 / 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 @@
+Actions and Events in Interval Temporal Logic
@@ Property / cites work: Actions and Events in Interval Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of neighbourhood logic
@@ Property / cites work: Completeness of neighbourhood logic / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
+Normal rank
@@ Property / cites work @@
+Modal logic as dialogical logic
@@ Property / cites work: Modal logic as dialogical logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
+Normal rank
@@ Property / cites work @@
+Axioms for tense logic. II: Time periods
@@ Property / cites work: Axioms for tense logic. II: Time periods / rank @@
+Normal rank
@@ Property / cites work @@
+Equations between Regular Terms and an Application to Process Logic
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+A mixed decision method for duration calculus
@@ Property / cites work: A mixed decision method for duration calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal representation and reasoning in artificial intelligence: Issues and approaches
+Normal rank
@@ Property / cites work @@
+Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3812209
@@ Property / cites work: Q3812209 / rank @@
+Normal rank
@@ Property / cites work @@
+A critical examination of Allen's theory of action and time
+Normal rank
@@ Property / cites work @@
+Modal logic with names
@@ Property / cites work: Modal logic with names / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Proof System for First-order Interval Temporal Logic with Projection
+Normal rank
@@ Property / cites work @@
+Logical Interpolation and Projection onto State in the Duration Calculus
+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 @@
+Quandaries and the logic of rules
@@ Property / cites work: Quandaries and the logic of rules / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking discrete duration calculus
@@ Property / cites work: Model-checking discrete duration calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval semantics for tense logic: Some remarks
@@ Property / cites work: Interval semantics for tense logic: Some remarks / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic duration calculus for continuous time
+Normal rank
@@ Property / cites work @@
+Relation algebras of every dimension
@@ Property / cites work: Relation algebras of every dimension / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of compass logic
@@ Property / cites work: Undecidability of compass logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680239
@@ Property / cites work: Q3680239 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction in a graphical temporal logic
@@ Property / cites work: Automated deduction in a graphical temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about temporal relations
@@ Property / cites work: Reasoning about temporal relations / rank @@
+Normal rank
@@ Property / cites work @@
+Interval logics with applications to study of tense and aspect in English
+Normal rank
@@ Property / cites work @@
+Non-elementary lower bound for Propositional Duration Calculus
+Normal rank
@@ Property / cites work @@
+Q5791197
@@ Property / cites work: Q5791197 / 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 @@
+Checking temporal duration properties of timed automata.
+Normal rank