Model-Checking Problem

computation logic

Definition

Model-Checking Problem

The model-checking problem is a decision problem.

Instance: a propositional formula and an interpretation for

Question: Is ? Equivalently, is true under ?