fifth.svg (7177B)
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?> 2 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" 3 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> 4 <!-- Generated by graphviz version 2.50.0 (20211204.2007) 5 --> 6 <!-- Title: g Pages: 1 --> 7 <svg width="402pt" height="347pt" 8 viewBox="0.00 0.00 402.29 347.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> 9 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 343)"> 10 <title>g</title> 11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-343 398.29,-343 398.29,4 -4,4"/> 12 <!-- root --> 13 <g id="node1" class="node"> 14 <title>root</title> 15 <ellipse fill="none" stroke="black" cx="265.49" cy="-306" rx="67.69" ry="18"/> 16 <text text-anchor="middle" x="265.49" y="-302.3" font-family="Times,serif" font-size="14.00">M, 1 ⊨ ◇ □ ◇ p</text> 17 <text text-anchor="middle" x="175.9" y="-327.8" font-family="Times,serif" font-size="14.00">Turn: V</text> 18 </g> 19 <!-- l11 --> 20 <g id="node2" class="node"> 21 <title>l11</title> 22 <ellipse fill="none" stroke="black" cx="196.49" cy="-234" rx="59.59" ry="18"/> 23 <text text-anchor="middle" x="196.49" y="-230.3" font-family="Times,serif" font-size="14.00">M, 4 ⊨ □ ◇ p</text> 24 <text text-anchor="middle" x="115.7" y="-255.8" font-family="Times,serif" font-size="14.00">Turn: F</text> 25 </g> 26 <!-- root->l11 --> 27 <g id="edge1" class="edge"> 28 <title>root->l11</title> 29 <path fill="none" stroke="black" d="M249.14,-288.41C240.38,-279.52 229.43,-268.41 219.79,-258.63"/> 30 <polygon fill="black" stroke="black" points="222.24,-256.13 212.73,-251.47 217.26,-261.05 222.24,-256.13"/> 31 </g> 32 <!-- r11 --> 33 <g id="node3" class="node"> 34 <title>r11</title> 35 <ellipse fill="none" stroke="black" cx="334.49" cy="-234" rx="59.59" ry="18"/> 36 <text text-anchor="middle" x="334.49" y="-230.3" font-family="Times,serif" font-size="14.00">M, 3 ⊨ □ ◇ p</text> 37 <text text-anchor="middle" x="253.7" y="-255.8" font-family="Times,serif" font-size="14.00">Turn: F</text> 38 </g> 39 <!-- root->r11 --> 40 <g id="edge2" class="edge"> 41 <title>root->r11</title> 42 <path fill="none" stroke="black" d="M281.85,-288.41C290.61,-279.52 301.56,-268.41 311.2,-258.63"/> 43 <polygon fill="black" stroke="black" points="313.73,-261.05 318.26,-251.47 308.75,-256.13 313.73,-261.05"/> 44 </g> 45 <!-- r21 --> 46 <g id="node4" class="node"> 47 <title>r21</title> 48 <ellipse fill="none" stroke="black" cx="196.49" cy="-162" rx="51.99" ry="18"/> 49 <text text-anchor="middle" x="196.49" y="-158.3" font-family="Times,serif" font-size="14.00">M, 3 ⊨ ◇ p</text> 50 <text text-anchor="middle" x="122.5" y="-183.8" font-family="Times,serif" font-size="14.00">Turn: V</text> 51 </g> 52 <!-- l11->r21 --> 53 <g id="edge11" class="edge"> 54 <title>l11->r21</title> 55 <path fill="none" stroke="black" d="M196.49,-215.7C196.49,-207.98 196.49,-198.71 196.49,-190.11"/> 56 <polygon fill="black" stroke="black" points="199.99,-190.1 196.49,-180.1 192.99,-190.1 199.99,-190.1"/> 57 </g> 58 <!-- r11->r21 --> 59 <g id="edge3" class="edge"> 60 <title>r11->r21</title> 61 <path fill="none" stroke="black" d="M305.23,-218.15C284.37,-207.57 256.16,-193.26 233.7,-181.87"/> 62 <polygon fill="black" stroke="black" points="235.28,-178.75 224.78,-177.35 232.11,-184.99 235.28,-178.75"/> 63 </g> 64 <!-- r22 --> 65 <g id="node9" class="node"> 66 <title>r22</title> 67 <ellipse fill="none" stroke="black" cx="334.49" cy="-162" rx="51.99" ry="18"/> 68 <text text-anchor="middle" x="334.49" y="-158.3" font-family="Times,serif" font-size="14.00">M, 2 ⊨ ◇ p</text> 69 <text text-anchor="middle" x="260.5" y="-183.8" font-family="Times,serif" font-size="14.00">Turn: V</text> 70 </g> 71 <!-- r11->r22 --> 72 <g id="edge8" class="edge"> 73 <title>r11->r22</title> 74 <path fill="none" stroke="black" d="M334.49,-215.7C334.49,-207.98 334.49,-198.71 334.49,-190.11"/> 75 <polygon fill="black" stroke="black" points="337.99,-190.1 334.49,-180.1 330.99,-190.1 337.99,-190.1"/> 76 </g> 77 <!-- r31 --> 78 <g id="node5" class="node"> 79 <title>r31</title> 80 <ellipse fill="none" stroke="black" cx="72.49" cy="-90" rx="46.29" ry="18"/> 81 <text text-anchor="middle" x="72.49" y="-86.3" font-family="Times,serif" font-size="14.00">M, 2 ⊨ p.</text> 82 </g> 83 <!-- r21->r31 --> 84 <g id="edge4" class="edge"> 85 <title>r21->r31</title> 86 <path fill="none" stroke="black" d="M170.5,-146.33C151.9,-135.83 126.69,-121.59 106.49,-110.19"/> 87 <polygon fill="black" stroke="black" points="108.04,-107.04 97.61,-105.18 104.6,-113.14 108.04,-107.04"/> 88 </g> 89 <!-- r32 --> 90 <g id="node7" class="node"> 91 <title>r32</title> 92 <ellipse fill="none" stroke="black" cx="196.49" cy="-90" rx="46.29" ry="18"/> 93 <text text-anchor="middle" x="196.49" y="-86.3" font-family="Times,serif" font-size="14.00">M, 3 ⊨ p.</text> 94 </g> 95 <!-- r21->r32 --> 96 <g id="edge6" class="edge"> 97 <title>r21->r32</title> 98 <path fill="none" stroke="black" d="M196.49,-143.7C196.49,-135.98 196.49,-126.71 196.49,-118.11"/> 99 <polygon fill="black" stroke="black" points="199.99,-118.1 196.49,-108.1 192.99,-118.1 199.99,-118.1"/> 100 </g> 101 <!-- r41 --> 102 <g id="node6" class="node"> 103 <title>r41</title> 104 <ellipse fill="none" stroke="black" cx="58.49" cy="-18" rx="58.49" ry="18"/> 105 <text text-anchor="middle" x="58.49" y="-14.3" font-family="Times,serif" font-size="14.00">Verifier wins.</text> 106 </g> 107 <!-- r31->r41 --> 108 <g id="edge5" class="edge"> 109 <title>r31->r41</title> 110 <path fill="none" stroke="black" d="M69.03,-71.7C67.49,-63.98 65.64,-54.71 63.92,-46.11"/> 111 <polygon fill="black" stroke="black" points="67.31,-45.22 61.92,-36.1 60.44,-46.6 67.31,-45.22"/> 112 </g> 113 <!-- r42 --> 114 <g id="node8" class="node"> 115 <title>r42</title> 116 <ellipse fill="none" stroke="black" cx="196.49" cy="-18" rx="61.19" ry="18"/> 117 <text text-anchor="middle" x="196.49" y="-14.3" font-family="Times,serif" font-size="14.00">Falsifier wins.</text> 118 </g> 119 <!-- r32->r42 --> 120 <g id="edge7" class="edge"> 121 <title>r32->r42</title> 122 <path fill="none" stroke="black" d="M196.49,-71.7C196.49,-63.98 196.49,-54.71 196.49,-46.11"/> 123 <polygon fill="black" stroke="black" points="199.99,-46.1 196.49,-36.1 192.99,-46.1 199.99,-46.1"/> 124 </g> 125 <!-- r33 --> 126 <g id="node10" class="node"> 127 <title>r33</title> 128 <ellipse fill="none" stroke="black" cx="334.49" cy="-90" rx="46.29" ry="18"/> 129 <text text-anchor="middle" x="334.49" y="-86.3" font-family="Times,serif" font-size="14.00">M, 1 ⊨ p.</text> 130 </g> 131 <!-- r22->r33 --> 132 <g id="edge9" class="edge"> 133 <title>r22->r33</title> 134 <path fill="none" stroke="black" d="M334.49,-143.7C334.49,-135.98 334.49,-126.71 334.49,-118.11"/> 135 <polygon fill="black" stroke="black" points="337.99,-118.1 334.49,-108.1 330.99,-118.1 337.99,-118.1"/> 136 </g> 137 <!-- r43 --> 138 <g id="node11" class="node"> 139 <title>r43</title> 140 <ellipse fill="none" stroke="black" cx="334.49" cy="-18" rx="58.49" ry="18"/> 141 <text text-anchor="middle" x="334.49" y="-14.3" font-family="Times,serif" font-size="14.00">Verifier wins.</text> 142 </g> 143 <!-- r33->r43 --> 144 <g id="edge10" class="edge"> 145 <title>r33->r43</title> 146 <path fill="none" stroke="black" d="M334.49,-71.7C334.49,-63.98 334.49,-54.71 334.49,-46.11"/> 147 <polygon fill="black" stroke="black" points="337.99,-46.1 334.49,-36.1 330.99,-46.1 337.99,-46.1"/> 148 </g> 149 </g> 150 </svg>