On the Finite Model Property of Infinitary Action Logics

@inproceedings{Kozak2011OnTF,
  title={On the Finite Model Property of Infinitary Action Logics},
  author={Micha l Kozak},
  year={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