SystemVerilog Assertions (SVA), as well as Property Specification Language (PSL) are linear temporal logics based on LTL [14], extended with regular expressions and local variables. In [6] Bustan and Havlicek show that the local variable extensions, as well as regular expressions with intersection, render the verification problem of SVA and PSL formulae EXPSPACE-complete. In this paper we show ...

Tillage has been reported to reduce organic matter concentrations and increase organic matter turnover rates to a variable extent. The change of soil climate and the incorporation of aboveground C inputs within the soil lead to no unique effect on biodegradation rates, because of their strong interaction with the regional climate and the soil physical properties. The periodical perturbation of ...

The local Markov condition for a DAG to be an independence map of a probability distribution is well known. For DAGs with latent variables, represented as bi-directed edges in the graph, the local Markov property may invoke exponential number of conditional independencies. This paper shows that the number of conditional independence relations required may be reduced if the probability distribut...

This paper deals with two fragments of first-order logic, viz., fluted logic and two-variable logic. These fragments are known to have many properties in common, among them the finite model property and NEXPTIME-completeness for satisfiability. It is shown here that they also have in common the interpolation property and the submodel preservation property.

We study about the intermediate propositional logics obtained from the intuitionistic propositional logics by adding some axioms. We define the simple substitution property for a set of additional axioms. Hitherto have been known only three intermediate logics that have the additional axioms with the property, and in this paper, we add one more example, that is, we give new axioms with the prop...

We present another proof for the well-known small model property of two-variable logic. As far as we know, existing proofs this are based on a rather intricate theoretic construction. In contrast, ours uses only simple combinatorial argument which find more intuitive and direct.

To what measure does the CES (constant elasticity of substitution) property determine production functions? We show that it is not possible to find explicitly all two variable production functions f(x, y) having the CES property. This slightly generalizes the result of R. Sato [16]. We show that if a production function is a quasi-sum then the CES property determines only the functional forms o...

Fundamental solutions to a generalized Helmholtz equation are determined through dependent variable transforms using the material properties and independent variable transforms based on conformal mapping. This allows variable wave speed media to be examined under some fairly broad material property constraints. q 2000 Elsevier Science Ltd. All rights reserved.