One of the main reasoning tasks regarding ELPs is the world view existence
problem, that is, given an ELP \(\Pi \) , decide whether a WV (or, equivalently,
CWV) exists. This problem is \(\Sigma _{\mathit {3}}^{\mathit {P}}\) -complete [1]}.
