Expressing cardinality quantifiers in monadic second-order logic over trees

DOI10.3233/FI-2010-260zbMATH Open1211.03017OpenAlexW1888128996MaRDI QIDQ3065008FDOQ3065008

Authors: Vince Bárány, Łukasz Kaiser, Alex Rabinovich 

Publication date: 3 January 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-260

Recommendations

• Cardinality Quantifiers in MLO over Trees
• Expressing cardinality quantifiers in monadic second-order logic over chains
• Monadic Second Order Logic with Measure and Category Quantifiers
• Monadic second order finite satisfiability and unbounded tree-width
• An Extension of Muchnik's Theorem

zbMATH Keywords

monadic second-order logicinfinite treescardinality quantifiersCantor topology

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Descriptive set theory (03E15) Continuum hypothesis and Martin's axiom (03E50)

Cited In (12)

• Title not available (Why is that?)
• Existential monadic second order logic on random rooted trees
• Counting on CTL\(^*\): On the expressive power of monadic path logic
• Monadic Second-Order Logic and Transitive Closure Logics over Trees
• Cardinality Quantifiers in MLO over Trees
• Title not available (Why is that?)
• Counting branches in trees using games
• Cardinality logics. Part II: Definability in languages based on ‘exactly’
• Title not available (Why is that?)
• On degrees of ambiguity for Büchi tree automata
• Expressing cardinality quantifiers in monadic second-order logic over chains
• Graded modalities in strategy logic

This page was built for publication: Expressing cardinality quantifiers in monadic second-order logic over trees

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