On finite model property of the equational theory of Kleene algebras
The finite model property of the equational fragment of the theory of Kleene algebras is a consequence of Kozen's [3] completeness theorem. We show that, conversely, this completeness theorem can be proved assuming the finite model property of this fragment.
finite model property kleene algebras action algebras regular expressions