Monadic Second Order Logic with Measure and Category Quantifiers
Logic in Computer Science
2023-06-22 v4 Formal Languages and Automata Theory
Logic
Abstract
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.
Keywords
Cite
@article{arxiv.1702.04769,
title = {Monadic Second Order Logic with Measure and Category Quantifiers},
author = {Matteo Mio and Michał Skrzypczak and Henryk Michalewski},
journal= {arXiv preprint arXiv:1702.04769},
year = {2023}
}