## A finite model theorem for the propositional µ-calculus (1988)

by
Dexter Kozen

Venue: | Studia Logica |

Citations: | 13 - 0 self |