Weighted First-Order Logics over Semirings

Weighted First-Order Logics over Semirings

We consider a first-order logic, a linear temporal logic, star-free expressions and counter-free Büchi automata, with weights, over idempotent, zerodivisor free and totally commutative complete semirings. We show the expressive equivalence (of fragments) of these concepts, generalizing in the quanti...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Acta cybernetica (Szeged) 2015-01, Vol.22 (2), p.435-483
Hauptverfasser: Mandrali, Eleni, Rahonis, George
Format: Artikel
Sprache:eng
Schlagworte:
Rings (mathematics)
Temporal logic
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We consider a first-order logic, a linear temporal logic, star-free expressions and counter-free Büchi automata, with weights, over idempotent, zerodivisor free and totally commutative complete semirings. We show the expressive equivalence (of fragments) of these concepts, generalizing in the quantitative setup, the corresponding folklore result of formal language theory.
ISSN:0324-721X
DOI:10.14232/actacyb.22.2.2015.13