Monadic Second Order Logic with Measure and Category Quantifiers

Matteo Mio, Michal Skrzypczak, Henryk Michalewski. Monadic Second Order Logic with Measure and Category Quantifiers. Logical Methods in Computer Science, 14(2), 2018. [doi]

Abstract

Abstract is missing.