1: \begin{definition}[Henkin-like model \cite{hollenberg_hennessy-milner_1995}]

2: 		\label{def:henkin_like_model}

3: 		Let $\mathbf{C}^K$ be the canonical model associated with the smallest 

4: 		normal logic $K$. Then a \textbf{Henkin-like} model is any Kripke 

5: 		structure $\mathbf{HC}^K = (S^K, \{R^{\mathbf{H}K}_\ell \subseteq 

6: 		R^K_\ell : \ell \in L\}, V^K)$ that satisfies the Henkin property (see 

7: 		Theorem \ref{thm:henkin_property_canonical_model} and the discussion 

8: 		preceding it).

9: 		\end{definition}

10: