1,353 followers
RT @Kurahashi16: 様相演算子 □ を通常の provability predicate で解釈する場合に対応する様相論理が GL に一致するという Solovay の算術的完全性定理がよく知られています． 最近僕は様相論理 K などに対応する証明可能性述語の存在…
6,618 followers
RT @Kurahashi16: 様相演算子 □ を通常の provability predicate で解釈する場合に対応する様相論理が GL に一致するという Solovay の算術的完全性定理がよく知られています． 最近僕は様相論理 K などに対応する証明可能性述語の存在…
2,931 followers
RT @Kurahashi16: 様相演算子 □ を通常の provability predicate で解釈する場合に対応する様相論理が GL に一致するという Solovay の算術的完全性定理がよく知られています． 最近僕は様相論理 K などに対応する証明可能性述語の存在…
575 followers
様相演算子 □ を通常の provability predicate で解釈する場合に対応する様相論理が GL に一致するという Solovay の算術的完全性定理がよく知られています． 最近僕は様相論理 K などに対応する証明可能性述語の存在について調べていました https://t.co/3mEpAKxy69 https://t.co/RnuVYR8ZQB
2,037 followers
RT @Kurahashi16: 新しい論文が出ました～ https://t.co/RnuVYR8ZQB
575 followers
新しい論文が出ました～ https://t.co/RnuVYR8ZQB