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

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