2024.08.12
https://gyazo.com/d1eb8af1cc8699780beafc00a6a244a4
メモ
:-)と:-(を世界で初めて顔文字を使用したとされている．
Common Lispが標準化されていた時期には、その標準化のリーダーとして認識されていた。
知った
様相論理GLが定義するフレームの性質は時相論理としても都合が良いので証明可能性論理とは全く関係ない文脈で分析が行われていることもあるという知見を得た] メモ
メモ
思った
様相論理の否定標準形への書き換えについてひたすらやっていたがそうする意味が無い気がしてきた…
今日わかったこと：古典論理だからといって様相論理にむやみに双対性（∧/∨, □/◇）を入れるとかえって不愉快な目にあいまくる