A History of Until (Q3185767): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2010.04.014
@@ Property / DOI: 10.1016/j.entcs.2010.04.014 / rank @@
-Normal rank
@@ 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.2010.04.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2065114960
@@ Property / OpenAlex ID: W2065114960 / 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 @@
+A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection
+Normal rank
@@ Property / cites work @@
+Combining Classical and Intuitionistic Implications
+Normal rank
@@ Property / cites work @@
+Q2701983
@@ Property / cites work: Q2701983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385438
@@ Property / cites work: Q4385438 / 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 @@
+Q4385435
@@ Property / cites work: Q4385435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+A general tableau method for propositional interval temporal logics: theory and implementation
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / 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 @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+A Labeled Natural Deduction System for a Fragment of CTL *
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableau for Bundled CTL
@@ Property / cites work: A Tableau for Bundled CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838819
@@ Property / cites work: Q3838819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530621
@@ Property / cites work: Q4530621 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2010.04.014
@@ Property / DOI: 10.1016/J.ENTCS.2010.04.014 / rank @@
+Normal rank