2.1k citations · 3.9k across the 42 of their papers we have counts for
1 paper · 2 filters
Matteo Mio, Michał Skrzypczak, Henryk Michalewski
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 o…