Monadic Second Order Logic with Measure and Category Quantifiers
Monadic Second Order Logic with Measure and Category Quantifiers
Autor
Punktacja ministerialna
25
Data publikacji
Abstrakt (EN)
We 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.
Słowa kluczowe EN
Dyscyplina PBN
informatyka
Czasopismo
Logical Methods in Computer Science
Tom
14
Zeszyt
2
Strony od-do
2:1-2:29
ISSN
1860-5974
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty