Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2019
Codensity Games for Bisimilarity
Yuichi Komorida, Shin-ya Katsumata, Nick Hu +2
Bisimilarity as an equivalence notion of systems has been central to process theory. Due to the recent rise of interest in quantitative systems (probabilistic, weighted, hybrid, et…