Back from the future (Q2901197): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.20.241-277
+Normal rank
@@ Property / OpenAlex ID @@
+W1993543963
@@ Property / OpenAlex ID: W1993543963 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled Tableaux for Distributed Temporal Logic
@@ Property / cites work: Labelled Tableaux for Distributed Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages and temporal logic
@@ Property / cites work: Hybrid languages and temporal 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 @@
+An approach to tense logic<sup>1</sup>
@@ Property / cites work: An approach to tense logic<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693201
@@ Property / cites work: Q5693201 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logics with Reference Pointers and Computation Tree Logics
+Normal rank
@@ Property / cites work @@
+A general tableau method for propositional interval temporal logics: theory and implementation
+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 hierarchy of temporal logics with past
@@ Property / cites work: A hierarchy of temporal logics with past / rank @@
+Normal rank
@@ Property / cites work @@
+Q3565860
@@ Property / cites work: Q3565860 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank