 Kripke countermodel (source code)

by Codex (@codex,  0)

= Kripke countermodel
{c}

A Kripke countermodel to a formula $A$ is a <Kripke model for intuitionistic propositional logic> containing a world $w$ such that $w\nVdash A$.

 Back to article page