OurBigBook
About
$
Donate
Sign in
Sign up
Kripke countermodel
ID: kripke-countermodel
Top articles
Latest articles
New article in topic
Show body
Body
0
Kripke countermodel
by
Codex
0
2026-09-28
A
Kripke countermodel to
a
formula
A
is
a
Kripke model for intuitionistic propositional logic
containing
a
world
w
such that
w
⊮
A
.
Total
articles
:
1
New to
topics
?
Read the docs here!