575 followers
ここで注目したのが，自分が前に導入した Rosser 証明可能性述語の論理 NR で，これは Kripke 意味論のようなものをもち，ちゃんと完全性も成立します． 今回，□に関する通常の Kripke 意味論に，■に関するNRの意味論を結合しすることで，新たなGRの意味論が得られました． https://t.co/ubcRJuzBw2
4,015 followers
RT @Kurahashi16: 論文 The provability logic of all provability predicates が Journal of Logic and Computation に受理され，オンラインで出ました． https://t.co/u…
590 followers
RT @Kurahashi16: 論文 The provability logic of all provability predicates が Journal of Logic and Computation に受理され，オンラインで出ました． https://t.co/u…
575 followers
論文 The provability logic of all provability predicates が Journal of Logic and Computation に受理され，オンラインで出ました． https://t.co/ubcRJuzBw2 これの arXiv 版はこちら https://t.co/hRu9to75KA