Highly Influential

@inproceedings{Kozak2011OnTF, title={On the Finite Model Property of Infinitary Action Logics}, author={Micha l Kozak}, year={2011} }

- Published 2011

We show that the equational theories of ∗–continuous Kleene algebras, Kleene lattices, action algebras and action lattices have the finite model property (FMP). We present an uniform framework for proving this property for all these theories. We use the method of nuclei and quasi-embedding in the style of [14, 1], but we expand it to the infinitary Gentzen… CONTINUE READING

### Presentations referencing similar topics