game-tree.dot.svg (7393B)
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: t Pages: 1 --> 7 <svg width="524pt" height="297pt" 8 viewBox="0.00 0.00 524.00 297.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 293)"> 10 <title>t</title> 11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-293 520,-293 520,4 -4,4"/> 12 <!-- t --> 13 <g id="node1" class="node"> 14 <title>t</title> 15 <ellipse fill="none" stroke="black" cx="226" cy="-256" rx="81.49" ry="18"/> 16 <text text-anchor="middle" x="226" y="-252.3" font-family="Times,serif" font-size="14.00">M,v ⊨? ◇ (q ∧ ◇ p)</text> 17 <text text-anchor="middle" x="123.26" y="-277.8" font-family="Times,serif" font-size="14.00">V's turn</text> 18 </g> 19 <!-- tl --> 20 <g id="node2" class="node"> 21 <title>tl</title> 22 <ellipse fill="none" stroke="black" cx="149" cy="-184" rx="67.69" ry="18"/> 23 <text text-anchor="middle" x="149" y="-180.3" font-family="Times,serif" font-size="14.00">M,y ⊨? q ∧ ◇ p</text> 24 <text text-anchor="middle" x="60.91" y="-205.8" font-family="Times,serif" font-size="14.00">F's turn</text> 25 </g> 26 <!-- t--tl --> 27 <g id="edge1" class="edge"> 28 <title>t--tl</title> 29 <path fill="none" stroke="black" d="M207.75,-238.41C195.48,-227.25 179.36,-212.6 167.12,-201.47"/> 30 </g> 31 <!-- tr --> 32 <g id="node6" class="node"> 33 <title>tr</title> 34 <ellipse fill="none" stroke="black" cx="304" cy="-184" rx="69.59" ry="18"/> 35 <text text-anchor="middle" x="304" y="-180.3" font-family="Times,serif" font-size="14.00">M, v ⊨? q ∧ ◇ p</text> 36 <text text-anchor="middle" x="213.96" y="-205.8" font-family="Times,serif" font-size="14.00">F's turn</text> 37 </g> 38 <!-- t--tr --> 39 <g id="edge5" class="edge"> 40 <title>t--tr</title> 41 <path fill="none" stroke="black" d="M244.48,-238.41C256.92,-227.25 273.24,-212.6 285.65,-201.47"/> 42 </g> 43 <!-- tll --> 44 <g id="node3" class="node"> 45 <title>tll</title> 46 <path fill="none" stroke="black" d="M12,-83.5C12,-83.5 74,-83.5 74,-83.5 80,-83.5 86,-89.5 86,-95.5 86,-95.5 86,-117.5 86,-117.5 86,-123.5 80,-129.5 74,-129.5 74,-129.5 12,-129.5 12,-129.5 6,-129.5 0,-123.5 0,-117.5 0,-117.5 0,-95.5 0,-95.5 0,-89.5 6,-83.5 12,-83.5"/> 47 <text text-anchor="middle" x="43" y="-114.3" font-family="Times,serif" font-size="14.00">M,y ⊨ q</text> 48 <polyline fill="none" stroke="black" points="0,-106.5 86,-106.5 "/> 49 <text text-anchor="middle" x="43" y="-91.3" font-family="Times,serif" font-size="14.00">Verifier wins</text> 50 </g> 51 <!-- tl--tll --> 52 <g id="edge2" class="edge"> 53 <title>tl--tll</title> 54 <path fill="none" stroke="black" d="M126.52,-166.99C111.21,-156.08 90.73,-141.5 73.89,-129.5"/> 55 </g> 56 <!-- tlr --> 57 <g id="node4" class="node"> 58 <title>tlr</title> 59 <ellipse fill="none" stroke="black" cx="159" cy="-106.5" rx="55.49" ry="18"/> 60 <text text-anchor="middle" x="159" y="-102.8" font-family="Times,serif" font-size="14.00">M, y ⊨? ◇ p</text> 61 <text text-anchor="middle" x="125.25" y="-128.3" font-family="Times,serif" font-size="14.00">V's turn</text> 62 </g> 63 <!-- tl--tlr --> 64 <g id="edge3" class="edge"> 65 <title>tl--tlr</title> 66 <path fill="none" stroke="black" d="M151.27,-165.87C152.91,-153.51 155.11,-136.9 156.74,-124.56"/> 67 </g> 68 <!-- tlrn --> 69 <g id="node5" class="node"> 70 <title>tlrn</title> 71 <path fill="none" stroke="black" d="M126,-0.5C126,-0.5 192,-0.5 192,-0.5 198,-0.5 204,-6.5 204,-12.5 204,-12.5 204,-34.5 204,-34.5 204,-40.5 198,-46.5 192,-46.5 192,-46.5 126,-46.5 126,-46.5 120,-46.5 114,-40.5 114,-34.5 114,-34.5 114,-12.5 114,-12.5 114,-6.5 120,-0.5 126,-0.5"/> 72 <text text-anchor="middle" x="159" y="-31.3" font-family="Times,serif" font-size="14.00">M, z ⊨ p</text> 73 <polyline fill="none" stroke="black" points="114,-23.5 204,-23.5 "/> 74 <text text-anchor="middle" x="159" y="-8.3" font-family="Times,serif" font-size="14.00">Verifier wins.</text> 75 </g> 76 <!-- tlr--tlrn --> 77 <g id="edge4" class="edge"> 78 <title>tlr--tlrn</title> 79 <path fill="none" stroke="black" d="M159,-88.32C159,-76.15 159,-59.73 159,-46.59"/> 80 </g> 81 <!-- trl --> 82 <g id="node7" class="node"> 83 <title>trl</title> 84 <path fill="none" stroke="black" d="M262,-83.5C262,-83.5 328,-83.5 328,-83.5 334,-83.5 340,-89.5 340,-95.5 340,-95.5 340,-117.5 340,-117.5 340,-123.5 334,-129.5 328,-129.5 328,-129.5 262,-129.5 262,-129.5 256,-129.5 250,-123.5 250,-117.5 250,-117.5 250,-95.5 250,-95.5 250,-89.5 256,-83.5 262,-83.5"/> 85 <text text-anchor="middle" x="295" y="-114.3" font-family="Times,serif" font-size="14.00">M, v ⊭ q</text> 86 <polyline fill="none" stroke="black" points="250,-106.5 340,-106.5 "/> 87 <text text-anchor="middle" x="295" y="-91.3" font-family="Times,serif" font-size="14.00">Falsifier wins</text> 88 <text text-anchor="middle" x="228.5" y="-133.8" font-family="Times,serif" font-size="14.00">V's turn</text> 89 </g> 90 <!-- tr--trl --> 91 <g id="edge6" class="edge"> 92 <title>tr--trl</title> 93 <path fill="none" stroke="black" d="M301.96,-165.87C300.68,-155.17 299.03,-141.27 297.65,-129.73"/> 94 </g> 95 <!-- trr --> 96 <g id="node8" class="node"> 97 <title>trr</title> 98 <ellipse fill="none" stroke="black" cx="413" cy="-106.5" rx="55.49" ry="18"/> 99 <text text-anchor="middle" x="413" y="-102.8" font-family="Times,serif" font-size="14.00">M, v ⊨? ◇ p</text> 100 <text text-anchor="middle" x="379.25" y="-128.3" font-family="Times,serif" font-size="14.00">V's turn</text> 101 </g> 102 <!-- tr--trr --> 103 <g id="edge7" class="edge"> 104 <title>tr--trr</title> 105 <path fill="none" stroke="black" d="M327.12,-166.99C345.86,-154 372.13,-135.81 390.66,-122.97"/> 106 </g> 107 <!-- trrl --> 108 <g id="node9" class="node"> 109 <title>trrl</title> 110 <path fill="none" stroke="black" d="M322,-0.5C322,-0.5 392,-0.5 392,-0.5 398,-0.5 404,-6.5 404,-12.5 404,-12.5 404,-34.5 404,-34.5 404,-40.5 398,-46.5 392,-46.5 392,-46.5 322,-46.5 322,-46.5 316,-46.5 310,-40.5 310,-34.5 310,-34.5 310,-12.5 310,-12.5 310,-6.5 316,-0.5 322,-0.5"/> 111 <text text-anchor="middle" x="357" y="-31.3" font-family="Times,serif" font-size="14.00">M, v ⊭ p</text> 112 <polyline fill="none" stroke="black" points="310,-23.5 404,-23.5 "/> 113 <text text-anchor="middle" x="357" y="-8.3" font-family="Times,serif" font-size="14.00">Falsifier wins.</text> 114 </g> 115 <!-- trr--trrl --> 116 <g id="edge8" class="edge"> 117 <title>trr--trrl</title> 118 <path fill="none" stroke="black" d="M401.4,-88.72C393,-76.58 381.57,-60.05 372.41,-46.8"/> 119 </g> 120 <!-- trrr --> 121 <g id="node10" class="node"> 122 <title>trrr</title> 123 <path fill="none" stroke="black" d="M434,-0.5C434,-0.5 504,-0.5 504,-0.5 510,-0.5 516,-6.5 516,-12.5 516,-12.5 516,-34.5 516,-34.5 516,-40.5 510,-46.5 504,-46.5 504,-46.5 434,-46.5 434,-46.5 428,-46.5 422,-40.5 422,-34.5 422,-34.5 422,-12.5 422,-12.5 422,-6.5 428,-0.5 434,-0.5"/> 124 <text text-anchor="middle" x="469" y="-31.3" font-family="Times,serif" font-size="14.00">M, y ⊭ p</text> 125 <polyline fill="none" stroke="black" points="422,-23.5 516,-23.5 "/> 126 <text text-anchor="middle" x="469" y="-8.3" font-family="Times,serif" font-size="14.00">Falsifier wins.</text> 127 </g> 128 <!-- trr--trrr --> 129 <g id="edge9" class="edge"> 130 <title>trr--trrr</title> 131 <path fill="none" stroke="black" d="M424.6,-88.72C433,-76.58 444.43,-60.05 453.59,-46.8"/> 132 </g> 133 </g> 134 </svg>