閉世界仮説
CCWA とほぼ同様だが、 f {\displaystyle f} は所定の集合に含まれないリテラルからなる任意の論理式である。
ECWA とサーカムスクリプションの形式化は命題論理においては等価である。ある論理式が閉世界仮説の下で別の論理式に含まれているかどうかを確かめることの複雑性は、通常は論理式の多項式階層の第二レベルであり、ホーン節についてはPとcoNPの間にある。本来の閉世界仮説を導入することで一貫性を失うかどうかの判定はNP預言機械を最大でも対数回呼び出す必要があるが、この問題の正確な複雑性は未知である。