認識論理
epistemic logic
認識論理 - Wikipedia
Epistemic modal logic - Wikipedia
Epistemic Logic (Stanford Encyclopedia of Philosophy)
epistemic modal logic in nLab
「agent
$ a
は
$ \phi
である事を知ってゐる」と云ふ事態を
$ K_a\phi
と書く
意味論
Kripke model
agent 每の
二項關係
を備へた
$ (S,R_a,R_b...)
を
Kripke frame
とし、狀態
$ s\in S
と命題との
二項關係
$ \vDash
を定める
game 理論
展開形 game に於けるオーマン (אומן) 構造
高階認識論理
共有知識
。分散知識
自己認識論理
(autoepistemic logic)
動的認識論理
Dynamic Epistemic Logic (Stanford Encyclopedia of Philosophy)
動的論理
鈴木聡「動的認識論理入門 (要旨)」2007
公開的吿知の論理 (public announcement logic)
Dynamic Epistemic Logic (Stanford Encyclopedia of Philosophy)#2.1 Public Announcement Logic
信念論理
(doxastic logic)
Doxastic logic - Wikipedia
認識的閉包 (epistemic closure)
Epistemic closure - Wikipedia
$ (K_sp\land K_s(p\to q))\to K_sq
閉世界假說
。懷疑論