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...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Mandrali Eleni
Rahonis George
Dokumentumtípus: Cikk
Megjelent: 2015
Sorozat:Acta cybernetica 22 No. 2
Kulcsszavak:Algebrai logika
Tárgyszavak:
doi:10.14232/actacyb.22.2.2015.13

Online Access:http://acta.bibl.u-szeged.hu/36104
Leíró adatok
Tartalmi kivonat: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.
Terjedelem/Fizikai jellemzők:435-483
ISSN:0324-721X