DocumentCode
1687495
Title
On completeness of multi-dimensional first-order temporal logics
Author
Toman, David
Author_Institution
Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
fYear
2003
Firstpage
99
Lastpage
106
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on
ISSN
1530-1311
Print_ISBN
0-7695-1912-1
Type
conf
DOI
10.1109/TIME.2003.1214885
Filename
1214885
Link To Document