Stanislav Kikot

On the completeness of EL-equations: first results

Joint work with Agi Kurucz, Yoshihito Tanaka, Frank Wolter and Michael Zakharyaschev

We consider implications between modal formulas built up using conjunction and diamonds only, called EL-equations in the algebraic setting. We aim to characterise theories of EL-equations whose consequences over Kripke frames coincide with those over bounded meet-semilattices with normal monotone operators.