Title :
On completeness of multi-dimensional first-order temporal logics
Author_Institution :
Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
Abstract :
In this paper, we show that first-order temporal logics form a proper expressiveness hierarchy with respect to dimensionality and quantifier depth of temporal connectives. This result resolves (negatively) the open question concerning the existence of an expressively complete first-order temporal logic, even when allowing multidimensional temporal connectives.
Keywords :
relational algebra; temporal logic; first-order temporal logic; multidimensional temporal connectives; multidimensional temporal logic; Algebra; Chromium; Computer science; Data models; Database languages; Information systems; Knowledge representation; Logic functions; Relational databases; Sections;
Conference_Titel :
Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on
Print_ISBN :
0-7695-1912-1
DOI :
10.1109/TIME.2003.1214885
