• 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.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2569976