DocumentCode :
2569976
Title :
Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints
Author :
Balbiani, Philippe
Author_Institution :
Inst. de Rech. en Inf. de Toulouse, Univ. de Toulouse, Toulouse, France
fYear :
2010
fDate :
6-8 Sept. 2010
Firstpage :
19
Lastpage :
26
Abstract :
This article considers the temporal logic defined over the class of all lexicographic products of dense linear orders without endpoints and gives its complete axiomatization for it.
Keywords :
temporal logic; dense linear order; lexicographic products; temporal logic axiomatization; Argon; Cognition; Context; Heart; Mirrors; Semantics; Syntactics; Temporal logic; complete axiomatization; dense linear orders; lexicographic products;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Temporal Representation and Reasoning (TIME), 2010 17th International Symposium on
Conference_Location :
Paris
ISSN :
1530-1311
Print_ISBN :
978-1-4244-8014-2
Type :
conf
DOI :
10.1109/TIME.2010.13
Filename :
5601859
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2569976
بازگشت