In order to study the properties of Lovelock gravity theories in low dimensions, we define the kth-order Riemann-Lovelock tensor as a certain quantity having a total 4k-indices, which is kth order in the Riemann curvature tensor and shares its basic algebraic and differential properties. We show that the kth order Riemann-Lovelock tensor is determined by its traces in dimensions 2k ≤ D < 4k. In...

We propose an extension, called L + p , of the temporal logic LTL, which enables talking about nitely many register values: the models are innnite words over tuples of integers (resp. real numbers). The formulas of L + p are at: on the left of an until, only atomic formulas or LTL formulas are allowed. We prove, in the spirit of the correspondence between automata and temporal logics, that the ...