Kripkeゲーム

メモ

よく使う公理をメモしておく

$ \mathsf{T} \equiv \Box p \to p

反射点が何個あるか

$ \mathsf{Alt}_n \equiv \Box p_1 \lor \Box(p_1 \to p_2) \lor \cdots \lor \Box (p_1 \land \cdots \land p_n \to p_{n+1})

1

[]p or [](p -> q)

2

[]p or [](p -> q) or [](p and q -> r)

3

[]p or [](p -> q) or [](p and q -> r) or [](p and q and r -> s)

3と2の板挟みなどで個数を特定する

実はあまり旨味がない？

$ \mathsf{Tc} \equiv p \to \Box p

行き止まりが何個あるか

実は強くない