Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2667
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Dartois, Luc | de |
dc.contributor.author | Kufleitner, Manfred | de |
dc.contributor.author | Lauser, Alexander | de |
dc.date.accessioned | 2010-05-17 | de |
dc.date.accessioned | 2016-03-31T07:58:55Z | - |
dc.date.available | 2010-05-17 | de |
dc.date.available | 2016-03-31T07:58:55Z | - |
dc.date.issued | 2010 | de |
dc.identifier.other | 324778856 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-52875 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/2684 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-2667 | - |
dc.description.abstract | We consider the fragments FO2, the intersection of Sigma2 and FO2, the intersection of Pi2 and FO2, and Delta2 of first-order logic FO[<] over finite and infinite words. For all four fragments, we give characterizations in terms of rankers. In particular, we generalize the notion of a ranker to infinite words in two possible ways. Both extensions are natural in the sense that over finite words, they coincide with classical rankers and over infinite words, they both have the full expressive power of FO2. Moreover, the first extension of rankers admits a characterization of the intersection of Sigma2 and FO2 while the other leads to a characterization of the intersection of Pi2 and FO2. Both versions of rankers yield characterizations of the fragment Delta2. As a byproduct, we also obtain characterizations based on unambiguous temporal logic and unambiguous interval temporal logic. | en |
dc.language.iso | en | de |
dc.relation.ispartofseries | Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik;2010,1 | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Temporale Logik , Formale Sprache | de |
dc.subject.ddc | 004 | de |
dc.title | Rankers over infinite words | en |
dc.type | workingPaper | de |
dc.date.updated | 2013-07-16 | de |
ubs.fakultaet | Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Formale Methoden der Informatik | de |
ubs.opusid | 5287 | de |
ubs.publikation.typ | Arbeitspapier | de |
ubs.schriftenreihe.name | Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
TR_2010_01.pdf | 438,07 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.