2 results
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 of Baire category and Lebesgue measure.
Published on April 10, 2018
Christophe Lucas ; Matteo Mio.
We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These are then used to obtain completely syntactic proofs of some interesting results concerning the two theories. Most […]
Published on February 17, 2022