I am faced with trying to determine all models for a formula $\phi$. I am reading through the book Logic in Computer Science (Huth & Ryan) and I am unable to find what the very meaning of such an expression means.
I might be able to find a model $\mathcal{M}$, s.t. $\mathcal{M} \vDash \phi$, but finding all models for $\phi$ seems - hard.
Have I misunderstood something or is it really possible to find all models for a formula?