Mikolaj Bojanczyk

activity

20092025

most citedAutomata theory in nominal sets

47 citations · 159 across the 27 of their papers we have counts for

collaborators

Showing math.LOShow all

2 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 $L_{μ}$ in the spirit of Feferman and Vaught's theorem for disjoint unions. In particular, we show that if a struc…

math.LO2012★ 1 cited

Rigidity is undecidable

Mikołaj Bojanczyk, Stanisław Szawiel, Marek Zawadowski

We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.

Decomposition Theorems and Model-Checking for the Modal μ-Calculus

Rigidity is undecidable

Decomposition Theorems and Model-Checking for the Modal $μ$ -Calculus