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

by Dexter Kozen
Venue:Studia Logica
Citations:13 - 0 self