Action logic and pure induction
JELIA '90 Proceedings of the European workshop on Logics in AI
Complete systems of B -rational identities
Theoretical Computer Science
A completeness theorem for Kleene algebras and the algebra of regular events
Papers presented at the IEEE symposium on Logic in computer science
An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices
Fundamenta Informaticae
Hi-index | 0.00 |
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.