Monadic Second Order Logic with Measure and Category Quantifiers
From MaRDI portal
Publication:4637695
DOI10.23638/LMCS-14(2:2)2018zbMath1459.03054arXiv1702.04769MaRDI QIDQ4637695
Michał Skrzypczak, Henryk Michalewski, Matteo Mio
Publication date: 25 April 2018
Full work available at URL: https://arxiv.org/abs/1702.04769
Descriptive set theory (03E15) Automata and formal grammars in connection with logical questions (03D05) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Higher-order logic (03B16)
Related Items (3)
Two Effective Properties of ω-Rational Functions ⋮ Polishness of some topologies related to word or tree automata ⋮ On measure quantifiers in first-order arithmetic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Counting branches in trees using games
- Topology and descriptive set theory
- Measure properties of regular sets of trees
- Randomization in Automata on Infinite Trees
- Banach-Mazur Games on Graphs
- On a generalization of quantifiers
- Baire Category Quantifier in Monadic Second Order Logic
- Cardinality Quantifiers in MLO over Trees
- How Good Is a Strategy in a Game with Nature?
- How unprovable is Rabin's decidability theorem?
- Measure Quantifier in Monadic Second Order Logic
- Computer Science Logic
- Probabilistic ω-automata
- Defining Fairness in Reactive and Concurrent Systems
- Decidability of Second-Order Theories and Automata on Infinite Trees
This page was built for publication: Monadic Second Order Logic with Measure and Category Quantifiers