Artykuł w czasopiśmie
Brak miniatury
Licencja
CC-BYCC-BY - Uznanie autorstwa
 

Scalar and Vectorial mu-calculus with Atoms

Uproszczony widok
cris.lastimport.scopus2024-02-12T19:34:54Z
dc.abstract.enWe study an extension of modal µ-calculus to sets with atoms and we study its basic properties. Model checking is decidable on orbit-finite structures, and a correspondence to parity games holds. On the other hand, satisfiability becomes undecidable. We also show expressive limitations of atom-enriched µ-calculi, and explain how their expressive power depends on the structure of atoms used, and on the choice between basic or vectorial syntax.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorKlin, Bartosz
dc.contributor.authorŁełyk, Mateusz
dc.date.accessioned2024-01-25T19:43:30Z
dc.date.available2024-01-25T19:43:30Z
dc.date.copyright2019-10-29
dc.date.issued2019
dc.description.accesstimeAT_PUBLICATION
dc.description.financeNie dotyczy
dc.description.number4
dc.description.versionFINAL_PUBLISHED
dc.description.volume15
dc.identifier.doi10.23638/LMCS-15(4:5)2019
dc.identifier.issn1860-5974
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/119040
dc.identifier.weblinkhttps://lmcs.episciences.org/5877
dc.languageeng
dc.pbn.affiliationphilosophy
dc.relation.ispartofLogical Methods in Computer Science
dc.relation.pages5:1–5:47
dc.rightsCC-BY
dc.sciencecloudnosend
dc.titleScalar and Vectorial mu-calculus with Atoms
dc.typeJournalArticle
dspace.entity.typePublication