Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints

Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints

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.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Balbiani, P
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Argon
Cognition
complete axiomatization
Computer Science
Context
dense linear orders
Heart
lexicographic products
Logic in Computer Science
Mirrors
Semantics
Syntactics
Temporal logic
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1530-1311
2332-6468
DOI:10.1109/TIME.2010.13