小島寛之が、様相論理について書いている本が出たと聞いたので読んでみた。 ゲーム理論と可能世界意味論を組み合わせて共有知識を定式化し、共有知識によって通貨攻撃を説明するというもの。 様相論理といっても、必然性や可能性の話ではなく、その応用編(…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。