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

Monadic Second Order Logic with Measure and Category Quantifiers

Pokaż widok metadanych
DOI
10.23638/LMCS-14(2:2)2018
Autor
Michalewski, Henryk
Mio, Matteo
Skrzypczak, Michał
Data publikacji
2018
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
Logic in Computer Science
Formal Languages and Automata Theory
Mathematics - Logic
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
https://lmcs.episciences.org/4433
Licencja otwartego dostępu
Dostęp zamknięty