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.

https://doi.org/10.23638/LMCS-14(2:2)2018
Source: arXiv.org:1702.04769
Volume: Volume 14, Issue 2
Secondary volumes: Special Issue in Memory of Zoltán Ésik
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
Licence: Attribution 4.0 International (CC BY 4.0)
Funding:
    Source : OpenAIRE Graph
  • Reliable and Privacy-Aware Software Systems via Bisimulation Metrics; Funder: French National Research Agency (ANR); Code: ANR-16-CE25-0011

Classifications

Mathematics Subject Classification 20201
Sources:
  • [1] zbMATH Open.

Share and export

Consultation statistics

This page has been seen 2356 times.
This article's PDF has been downloaded 1026 times.