2 results
Michael Benedikt ; Rastislav Lenhardt ; James Worrell.
Model checking linear-time properties expressed in first-order logic has non-elementary complexity, and thus various restricted logical languages are employed. In this paper we consider two such restricted specification logics, linear temporal logic (LTL) and two-variable first-order logic (FO2). […]
Published on May 23, 2013
Michael Benedikt ; Cécilia Pradic ; Christoph Wernhard.
Derived datasets can be defined implicitly or explicitly. An implicit definition (of dataset O in terms of datasets I) is a logical specification involving two distinguished sets of relational symbols. One set of relations is for the "source data" I, and the other is for the "interface data" O. Such […]
Published on July 22, 2024