47 citations · 159 across the 27 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
math.LO2014★ 1 cited
Decomposition Theorems and Model-Checking for the Modal -Calculus
Mikolaj Bojanczyk, Christoph Dittmann, Stephan Kreutzer
We prove a general decomposition theorem for the modal -calculus in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a struc…
cs.LO2014
Weak MSO+U with Path Quantifiers over Infinite Trees
Mikołaj Bojańczyk
This paper shows that over infinite trees, satisfiability is decidable for weak monadic second-order logic extended by the unbounding quantifier U and quantification over infinite…
cs.LO2014★ 47 cited
Automata theory in nominal sets
Mikołaj Bojańczyk, Bartek Klin, Sławomir Lasota
We study languages over infinite alphabets equipped with some structure that can be tested by recognizing automata. We develop a framework for studying such alphabets and the ensui…