Problems

A problem is dealt with just as before. If the problem in x is $\neg ( A \rhd B )$ you find a world y applying lemma 5.2 such that $x \prec_{\mbox{\footnotesize {B}}} y$, $A \in y$ and y is such that it is also maximal w.r.t. the $\Box$-inclusion. You then define x R_e^B y and close off in a minimal way under the $\mathit{ILM_0}$-frame conditions.