Kozen, DexterMamouras, Konstantinos2014-02-272014-02-272014-02-27https://hdl.handle.net/1813/36202We identify sufficient conditions for the construction of free language models for systems of Kleene algebra with additional equations. The construction applies to a broad class of extensions of KA and provides a uniform approach to deductive completeness and coalgebraic decision procedures.en-USKleene algebraKleeene algebra with testsrewrite systemstechnical report