Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Monadic Second Order Logic with Measure and Category Quantifiers

Uproszczony widok
dc.abstract.enWe investigate the extension of Monadic Second Order logic, interpreted over infinite words and trees, with generalized "for almost all" quantifiers interpreted using the notions of Baire category and Lebesgue measure.
dc.affiliationUniwersytet Warszawski
dc.contributor.authorMichalewski, Henryk
dc.contributor.authorMio, Matteo
dc.contributor.authorSkrzypczak, Michał
dc.date.accessioned2024-01-25T12:53:43Z
dc.date.available2024-01-25T12:53:43Z
dc.date.issued2018
dc.description.financeNie dotyczy
dc.description.number2
dc.description.volume14
dc.identifier.doi10.23638/LMCS-14(2:2)2018
dc.identifier.issn1860-5974
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/112895
dc.identifier.weblinkhttps://lmcs.episciences.org/4433
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofLogical Methods in Computer Science
dc.relation.pages2:1-2:29
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.subject.enLogic in Computer Science
dc.subject.enFormal Languages and Automata Theory
dc.subject.enMathematics - Logic
dc.titleMonadic Second Order Logic with Measure and Category Quantifiers
dc.typeJournalArticle
dspace.entity.typePublication