2023.08.04
https://gyazo.com/fc63fe7933da7d77f770d07e02b4fb24
読んだ
思った
"Provability (Predicate)"を「証明可能性述語」と訳しているのに"Provability Logic"を「証明可能性論理」と訳しているの普通に一貫性が無くて良くない気がしてきた 思った
オーマイガー
メモ
λ計算にwhileを追加したものは証明可能性論理GLによって特徴づけられるみたいなポスターを何かで見た覚えがあるけど何だったか忘れた