Baire category quantifier in monadic second order logic

DOI10.1007/978-3-662-47666-6_29MaRDI QIDQ3449489zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Monadic Second Order Logic with Measure and Category Quantifiers
• Measure quantifier in monadic second order logic
• Computer Science Logic
• Thin MSO with a probabilistic path quantifier
• scientific article; zbMATH DE number 1418347

Cites work

• A logic for reasoning about time and reliability
• Bounded satisfiability for PCTL
• Cardinality Quantifiers in MLO over Trees
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Defining fairness in reactive and concurrent systems
• How good is a strategy in a game with Nature?
• scientific article; zbMATH DE number 1223638 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Invariant sets in topology and logic
• Measure Properties of Game Tree Languages
• Probabilistic and Topological Semantics for Timed Automata
• R-Sets and Category
• Randomization in automata on infinite trees
• 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

Cited in

(5)

• Thin MSO with a probabilistic path quantifier
• Monadic Second Order Logic with Measure and Category Quantifiers
• Measure quantifier in monadic second order logic
• MSO+\( \nabla \) is undecidable
• Counting branches in trees using games

This page was built for publication: Baire category quantifier in monadic second order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449489)