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

lmcs:3148 - Logical Methods in Computer Science, April 10, 2018, Volume 14, Issue 2 - https://doi.org/10.23638/LMCS-14(2:2)2018
Monadic Second Order Logic with Measure and Category QuantifiersArticle

Authors: 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.


    Volume: Volume 14, Issue 2
    Section: Automata and logic
    Published on: April 10, 2018
    Accepted on: March 27, 2018
    Submitted on: February 17, 2017
    Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory,Mathematics - Logic
    Funding:
      Source : OpenAIRE Graph
    • Reliable and Privacy-Aware Software Systems via Bisimulation Metrics; Funder: French National Research Agency (ANR); Code: ANR-16-CE25-0011

    Consultation statistics

    This page has been seen 1408 times.
    This article's PDF has been downloaded 824 times.