(またレイアウトがうまくいってなくて読みずらいかと思います. すみません. ) 様相論理の意味論ではKripke structureが用いられることが多いのですが, 最近Aumann sructureというものを勉強したのでメモします. もともとAumannは経済学で有名な人で, このAum…

(数式を中央にもっていくとか定理環境などレイアウトがうまくいってません. わかり次第更新したいです. ) 認識論理は様相論理の一分野です. 具体的には, 様相オペレーターとしてを導入し, を「agent はを知っている」と解釈します. また, 関係記号としてを導…

はじめまして. poyaと言います. 以前までは他のブログを使っていましたが, はてなブログは数式がきれいに書けるそうなので, 移行しました. 重要そうな記事は少しづつこっちにあげなおそうと思っています. (自己紹介) 関東の大学の数学科に所属している大学4…