In this talk we present recent results on the non recursive
enumerability of some linear Kripke frames over constant domains.
It was known since some time that for all those Kripke frames
which are countable and scattered, the respective logic is
not recursively enumerable. We extend this result to arbitrary
scattered Kripke frames (not necessarily countable) and indicate
possible extensions to the non-linear case.