47 citations · 115 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Countdown -calculus
Jędrzej Kołodziejski, Bartek Klin
We introduce the countdown -calculus, an extension of the modal -calculus with ordinal approximations of fixpoint operators. In addition to properties definable in the classi…
cs.LO2022
Monadic Monadic Second Order Logic
Mikołaj Bojańczyk, Bartek Klin, Julian Salamanca
One of the main reasons for the correspondence of regular languages and monadic second-order logic is that the class of regular languages is closed under images of surjective lette…