Measure Quantifier in Monadic Second Order Logic

DOI10.1007/978-3-319-27683-0_19zbMath1476.03049OpenAlexW2295213764MaRDI QIDQ5283434

Henryk Michalewski, Matteo Mio

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_19

zbMATH Keywords

monadic second-order logicLebesgue measure

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Logic with extra quantifiers and operators (03C80) Higher-order logic (03B16)

Related Items (3)

Unnamed Item ⋮ Unnamed Item ⋮ Monadic Second Order Logic with Measure and Category Quantifiers

Cites Work

• Unnamed Item
• Unnamed Item
• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
• Topology and descriptive set theory
• The algebra of topology
• Measure Properties of Game Tree Languages
• Randomization in Automata on Infinite Trees
• Baire Category Quantifier in Monadic Second Order Logic
• Probabilistic Automata on Finite Words: Decidable and Undecidable Problems
• Restricted Set-Theoretical Definitions in Arithmetic
• On the Decidability of MSO+U on Infinite Trees
• Probabilistic ω-automata
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Measure Quantifier in Monadic Second Order Logic