Handling database updates in two-dimensional temporal logic (Q4275692): Difference between revisions

@@ Property / cites work @@
+Q4028772
@@ Property / cites work: Q4028772 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for tense logic. I: 'Since' and 'until'
@@ Property / cites work: Axioms for tense logic. I: 'Since' and 'until' / rank @@
+Normal rank
@@ Property / cites work @@
+Formal semantics for time in databases
@@ Property / cites work: Formal semantics for time in databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q3935440
@@ Property / cites work: Q3935440 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992823
@@ Property / cites work: Q3992823 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+A basis for deductive database systems
@@ Property / cites work: A basis for deductive database systems / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and completeness of an interval tense logic
+Normal rank