Search


Volume

Section

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Monadic Second Order Logic with Measure and Category Quantifiers

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
Volume 14, Issue 2
Automata and logic
  • < Previous
  • 1
  • Next >