Monadic Second Order Logic with Measure and Category Quantifiers

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

• computer science - logic in computer science
• computer science - formal languages and automata theory
• mathematics - logic