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...
Gespeichert in:
| Veröffentlicht in: | Acta cybernetica (Szeged) 2015-01, Vol.22 (2), p.435-483 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 483 |
|---|---|
| container_issue | 2 |
| container_start_page | 435 |
| container_title | Acta cybernetica (Szeged) |
| container_volume | 22 |
| creator | Mandrali, Eleni Rahonis, George |
| description | 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. |
| doi_str_mv | 10.14232/actacyb.22.2.2015.13 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2384571738</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2384571738</sourcerecordid><originalsourceid>FETCH-LOGICAL-c281t-a6965f575dbade76cbc2310fc243c6d7f9efb950bf825ade2de891d3dcc3cb4f3</originalsourceid><addsrcrecordid>eNotkE1Lw0AQhvegYKn9CULAm5C4M5PdTY5SrAqBHlT0tiT7EVNsU3dTof_exXbew7yHhxl4GLsBXkCJhPetmVpz7ArEIoWDKIAu2IwTlrlC-Lxiixg3PI2QJZCcsbsPN_Rfk7PZaghxytfBupA1Yz-YmI2_qb-67RCGXR-v2aVvv6NbnPecva8e35bPebN-elk-NLnBCqa8lbUUXihhu9Y6JU1nkIB7gyUZaZWvne9qwTtfoUgEWlfVYMkaQ6YrPc3Z7enuPow_BxcnvRkPYZdeaqSqFAoUVYkSJ8qEMcbgvN6HYduGowau_23osw2NqFOSDQ1Ef92AVrE</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2384571738</pqid></control><display><type>article</type><title>Weighted First-Order Logics over Semirings</title><source>EZB Electronic Journals Library</source><creator>Mandrali, Eleni ; Rahonis, George</creator><creatorcontrib>Mandrali, Eleni ; Rahonis, George</creatorcontrib><description>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.</description><identifier>ISSN: 0324-721X</identifier><identifier>DOI: 10.14232/actacyb.22.2.2015.13</identifier><language>eng</language><publisher>Szeged: Laszlo Nyul</publisher><subject>Rings (mathematics) ; Temporal logic</subject><ispartof>Acta cybernetica (Szeged), 2015-01, Vol.22 (2), p.435-483</ispartof><rights>Copyright Laszlo Nyul Jun 2015</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c281t-a6965f575dbade76cbc2310fc243c6d7f9efb950bf825ade2de891d3dcc3cb4f3</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27903,27904</link.rule.ids></links><search><creatorcontrib>Mandrali, Eleni</creatorcontrib><creatorcontrib>Rahonis, George</creatorcontrib><title>Weighted First-Order Logics over Semirings</title><title>Acta cybernetica (Szeged)</title><description>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.</description><subject>Rings (mathematics)</subject><subject>Temporal logic</subject><issn>0324-721X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2015</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><recordid>eNotkE1Lw0AQhvegYKn9CULAm5C4M5PdTY5SrAqBHlT0tiT7EVNsU3dTof_exXbew7yHhxl4GLsBXkCJhPetmVpz7ArEIoWDKIAu2IwTlrlC-Lxiixg3PI2QJZCcsbsPN_Rfk7PZaghxytfBupA1Yz-YmI2_qb-67RCGXR-v2aVvv6NbnPecva8e35bPebN-elk-NLnBCqa8lbUUXihhu9Y6JU1nkIB7gyUZaZWvne9qwTtfoUgEWlfVYMkaQ6YrPc3Z7enuPow_BxcnvRkPYZdeaqSqFAoUVYkSJ8qEMcbgvN6HYduGowau_23osw2NqFOSDQ1Ef92AVrE</recordid><startdate>20150101</startdate><enddate>20150101</enddate><creator>Mandrali, Eleni</creator><creator>Rahonis, George</creator><general>Laszlo Nyul</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7RQ</scope><scope>7XB</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>BYOGL</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>U9A</scope></search><sort><creationdate>20150101</creationdate><title>Weighted First-Order Logics over Semirings</title><author>Mandrali, Eleni ; Rahonis, George</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c281t-a6965f575dbade76cbc2310fc243c6d7f9efb950bf825ade2de891d3dcc3cb4f3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2015</creationdate><topic>Rings (mathematics)</topic><topic>Temporal logic</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Mandrali, Eleni</creatorcontrib><creatorcontrib>Rahonis, George</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Career & Technical Education Database</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>East Europe, Central Europe Database</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering collection</collection><collection>ProQuest Central Basic</collection><jtitle>Acta cybernetica (Szeged)</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Mandrali, Eleni</au><au>Rahonis, George</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Weighted First-Order Logics over Semirings</atitle><jtitle>Acta cybernetica (Szeged)</jtitle><date>2015-01-01</date><risdate>2015</risdate><volume>22</volume><issue>2</issue><spage>435</spage><epage>483</epage><pages>435-483</pages><issn>0324-721X</issn><abstract>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.</abstract><cop>Szeged</cop><pub>Laszlo Nyul</pub><doi>10.14232/actacyb.22.2.2015.13</doi><tpages>49</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0324-721X |
| ispartof | Acta cybernetica (Szeged), 2015-01, Vol.22 (2), p.435-483 |
| issn | 0324-721X |
| language | eng |
| recordid | cdi_proquest_journals_2384571738 |
| source | EZB Electronic Journals Library |
| subjects | Rings (mathematics) Temporal logic |
| title | Weighted First-Order Logics over Semirings |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-24T17%3A20%3A15IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Weighted%20First-Order%20Logics%20over%20Semirings&rft.jtitle=Acta%20cybernetica%20(Szeged)&rft.au=Mandrali,%20Eleni&rft.date=2015-01-01&rft.volume=22&rft.issue=2&rft.spage=435&rft.epage=483&rft.pages=435-483&rft.issn=0324-721X&rft_id=info:doi/10.14232/actacyb.22.2.2015.13&rft_dat=%3Cproquest_cross%3E2384571738%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2384571738&rft_id=info:pmid/&rfr_iscdi=true |