lectures.alex.balgavy.eu

Lecture notes from university.
git clone git://git.alex.balgavy.eu/lectures.alex.balgavy.eu.git
Log | Files | Refs | Submodules

game-tree.dot (714B)

      1 graph t {
      2 t [label="M,v ⊨? ◇ (q ∧ ◇ p)", xlabel="V's turn"]
      3 tl [label="M,y ⊨? q ∧ ◇ p", xlabel="F's turn"]; t -- tl
      4 tll [label="{ M,y ⊨ q | Verifier wins }", shape="Mrecord"]; tl -- tll
      5 tlr [label="M, y ⊨? ◇ p", xlabel="V's turn"]; tl -- tlr
      6 tlrn [label="{ M, z ⊨ p | Verifier wins. }", shape="Mrecord"]; tlr -- tlrn
      7 
      8 tr [label="M, v ⊨? q ∧ ◇ p", xlabel="F's turn"]; t -- tr
      9 trl [label="{ M, v ⊭ q | Falsifier wins }", shape="Mrecord", xlabel="V's turn"]; tr -- trl
     10 trr [label="M, v ⊨? ◇ p", xlabel="V's turn"]; tr -- trr
     11 trrl [label="{ M, v ⊭ p | Falsifier wins. }", shape="Mrecord"]; trr -- trrl
     12 trrr [label="{M, y ⊭ p | Falsifier wins.}", shape="Mrecord"]; trr -- trrr
     13 }
     14 
     15