Model-Checking Problem

computation logic

Definition

Model-Checking Problem

The model-checking problem is a decision problem.

Instance: a propositional formula $\phi$ and an interpretation $I$ for $\phi$

Question: Is $I(\phi )=\text{true}$? Equivalently, is $\phi$ true under $I$?