Mio, Matteo and Skrzypczak, Michał and Michalewski, Henryk - Monadic Second Order Logic with Measure and Category Quantifiers

lmcs:4433 - Logical Methods in Computer Science, April 10, 2018, Volume 14, Issue 2
Monadic Second Order Logic with Measure and Category Quantifiers

Authors: Mio, Matteo and Skrzypczak, Michał and Michalewski, Henryk

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.


Source : oai:arXiv.org:1702.04769
DOI : 10.23638/LMCS-14(2:2)2018
Volume: Volume 14, Issue 2
Section: Automata and logic
Published on: April 10, 2018
Submitted on: February 17, 2017
Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory,Mathematics - Logic


Share

Consultation statistics

This page has been seen 33 times.
This article's PDF has been downloaded 23 times.