31 citations · 69 across the 15 of their papers we have counts for
1 paper · 1 filter
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…