最も単純なゲーム意味論の応用として、命題論理への適用がある。各論理式を2人のプレイヤーの間で行われるゲームに見立てる。プレイヤーは「立証者; Verifier」と「偽証者; Falsifier」と呼ばれる。立証者はその論理式内の全ての論理和の「所有権」を有し、偽証者は同様に全ての論理積を所有する。このゲームの「手」で行うことは、論理演算子を所有するプレイヤーがその演算子の一方の枝を選ぶことである。ゲームはその選ばれた部分論理式について続行され、その論理式を制御している演算子を所有するプレイヤーが次の手を行うことができる（全体が論理和なら立証者が一方の枝を選ぶ）。こうして、論理和も論理積も含まれない単純な式となるまで続ける。ここで、その式が真であれば立証者の勝ちで、偽であれば偽証者の勝ちである。立証者が勝利戦略を持つ場合、元の論理式も真であると見なされ、逆に偽証者に勝利戦略があれば、偽と見なされる。論理式に否定や含意が含まれる場合、もっと複雑な技法が使われる。例えば、否定は否定する対象が偽であれば真となるので、2人のプレイヤーの役割を逆転させる効果がある。より一般化して、ゲーム意味論は述語論理にも適用される。新たなルールとして、支配的な量化子をその所有者（立証者は存在記号を所有し、偽証者は全称記号を所有する）が削除でき、その際に束縛変項の全ての出現をプレイヤーの選んだ任意の定項で置き換える。このとき、全称量化では1つの反例で偽となり、存在量化では1つの例で真となることに注意されたい。このようなゲームは全て完全情報ゲームである。2人のプレイヤーは論理式を構成する各項の真理値を知っており、常に先を読む。
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱した。その後、様々なゲーム意味論が研究されてきた。ゲーム意味論はプログラミング言語の形式意味論にも適用されてきた。
鎌倉幕府第14代執権の北条高時が北条氏得宗家当主であった期間（1311年-1333年）内に元服し、その高時と烏帽子親子関係を結んで偏諱（｢高｣の字）を受けたとみられている。父から受け継いで隠岐守護、更には引付衆となり、正中2年（1325年）12月には幕府の使者として入京した。元弘2年/正慶元年（1332年）、鎌倉幕府転覆計画を企てた後醍醐天皇が捕らえられ隠岐国に流されると（元弘の変）、同国守護をしていた清高は隠岐へ下向し、領内の黒木御所に天皇一行を幽閉した。当時は西日本を中心に悪党と呼ばれる武士達が反幕府活動を続けていたため、清高も有志による後醍醐天皇奪還を警戒し、御所を厳しく監視する。ところが翌元弘3年/正慶2年（1333年）になって、天皇一行は突如として黒木御所から姿を消し、隠岐を脱出してしまった。天皇は伯耆の武士名和長年一族に迎えられ、伯耆船上山にて挙兵する。これに対し、焦った清高は隠岐の手勢を率いて船上山に攻め寄せ長年らと戦うが、寄せ手の将佐々木昌綱が流れ矢を受け戦死し、同族（はとこ）で出雲守護の塩冶高貞が寝返って天皇方につくなど悪条件が重なり、結局攻めきれずに敗退してしまう（船上山の戦い）。その後、敗戦の責任から隠岐を追われ、海路で北国に逃れて六波羅探題北条仲時の軍に合流し、同年5月9日、近江番場の蓮華寺にて仲時らと共に自害した。享年39。子の泰高も父と共に自害したと伝えられる。
宇多源氏流佐々木氏の一族で父は佐々木宗清、母は佐々木宗綱の娘。子に泰高（やすたか）、重清（しげきよ）がいる。清高は治承・寿永の乱で源氏方として活躍した佐々木秀義の5男義清の末裔で、義清－泰清－時清－宗清－清高と至る。この家系は代々隠岐守護を相伝（世襲）する家柄であった。船上山の戦いで清高と敵対した塩冶高貞（詳細は後述参照）は、時清の兄弟である塩冶頼泰の孫であり、清高とは又従兄弟（はとこ）の関係にあたる。また、後の南北朝時代において婆沙羅大名として著名な佐々木道誉（高氏）をはじめとする京極氏一族や、室町時代に近江守護として君臨した六角氏一族は義清の兄定綱の末裔で清高と同族（遠戚関係）である。
メイ・パーカーはほとんどのマーベル・コミックの舞台であるアース616にも存在している。メリー・ジェーンはクローンサーガのはじめに妊娠した。この時期ピーターがベン・ライリーにスパイダーマン業を任せていた最大の理由のひとつは父親になるためであった。しかし、ストーリーの最後にメリー・ジェーンはグリーンゴブリンのエージェント・アリソン・マングレインに毒を盛られ、赤ん坊は流産になった（あるいはマングレインが生気を失った赤子を連れ去ったためにそのように見えた）。ベン・ライリーはグリーン・ゴウリンの手によって同夜に殺害され、ピーター・パーカーは再びスパイダーマンとなった。トム・デファルコがThe Amazing Spider-Man誌を手がけた最後の作品の一部、434-435号のストーリー"Spider-Man: Identity Crisis"にはヒントが提示されており、赤子のメイは帰還する予定だった。しかしこのプロットは採用されず、デファルコに変わってハワード・マッキーとジョン・バーンが同誌を引き継いでから別のプロットに置き換えられた。このチームによってメイおばさんが代わりに戻ってくる事になった。 "スパイダーガール"49号の回想シーンではこの時にメイおばさんのかわりにメイ（=スパイダーガール）が戻った事になっている。しかし赤子のメイとパーカー夫妻はマーベルのメインのコンティニュイティでは決して再会しなかった。編集者達は繰り返し赤子は死亡しており、生きていたとしても再登場はしない事を明言している。それというのも子供の存在はキャラクターが年をとってしまう主要な要因であるからである。マーベル・ナイツ・スパイダーマン誌9号ではマック・ガーガンはノーマン・オズボーンに言及し「ヤツはお前の生まれてすらいない子供を殺した。キサマはヤツの息子を殺せ」と述べている。この発言が最も強力な赤子の死亡の証拠である。"The Amazing Spider-Man"誌439号（デファルコが担当した最後のタイトル）は1000年後の未来を舞台にしている。二人の考古学者はウェブシューターなどのスパイダーマンの遺品を偶然見つけている。彼らはスパイダーマンの経歴を推測し、彼にインスパイアされた他のヒーロー、スパイダーガール、スパイダーマン2099、スパイダーマン2211などについて議論している。"One More Day"以後のコミック・ブック・リソースでのいくつかのインタビューではジョー・ケサーダはスパイダーガールにふれ、現在の展開に不満を持つ読者にとって年齢を重ね、結婚したピーターとMJが家族を育てる展開を追うための理想の場所であるとした。ケサーダのコメントはスパイダーガールを特集した記事のトム・デファルコとのインタビューで触れられ、彼はケサーダはスパイダーガールのキャラとタイトルのファンである事を明かした。