Baire Category Quantifier in Monadic Second Order Logic

DOI10.1007/978-3-662-47666-6_29zbMath1443.03007OpenAlexW2397555467MaRDI QIDQ3449489

Henryk Michalewski, Matteo Mio

Publication date: 4 November 2015

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-47666-6_29

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Temporal logic (03B44) Higher-order logic (03B16)

Related Items (3)

Measure Quantifier in Monadic Second Order Logic ⋮ Counting branches in trees using games ⋮ Monadic Second Order Logic with Measure and Category Quantifiers

Cites Work

• Unnamed Item
• Unnamed Item
• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
• Topology and descriptive set theory
• A logic for reasoning about time and reliability
• Measure Properties of Game Tree Languages
• Randomization in Automata on Infinite Trees
• Cardinality Quantifiers in MLO over Trees
• R-Sets and Category
• Invariant sets in topology and logic
• How Good Is a Strategy in a Game with Nature?
• Bounded Satisfiability for PCTL
• Defining Fairness in Reactive and Concurrent Systems
• Probabilistic and Topological Semantics for Timed Automata
• Decidability of Second-Order Theories and Automata on Infinite Trees

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