Removed the references to the generalised notion of semantic
entailment \Gamma \models \phi and its syntactic counterpart \Gamma\
\vdash \phi that we know from 'normal' logics. We need to deal with
this stuff later.