{"title":"S4\u3092\u542b\u3080\u69d8\u76f8\u8ad6\u7406\u306f\u975e\u53ef\u7b97\u7121\u9650\u500b\u3042\u308b: Fine, \"An ascending chain of S4 logics\"(1974)\u3092\u8aad\u3080","width":"100%","provider_url":"https://hatena.blog","type":"rich","blog_url":"https://incognito0.hatenablog.com/","categories":["\u6570\u7406\u8ad6\u7406\u5b66"],"version":"1.0","url":"https://incognito0.hatenablog.com/entry/2020/07/20/180615","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fincognito0.hatenablog.com%2Fentry%2F2020%2F07%2F20%2F180615\" title=\"S4\u3092\u542b\u3080\u69d8\u76f8\u8ad6\u7406\u306f\u975e\u53ef\u7b97\u7121\u9650\u500b\u3042\u308b: Fine, &quot;An ascending chain of S4 logics&quot;(1974)\u3092\u8aad\u3080 - Asinus&#39;s blog\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","image_url":"https://chart.apis.google.com/chart?cht=tx&chl=%20%5Cmathsf%7BK%7D%2C%20%5Cmathsf%7BS4%7D%2C%20%5Cmathsf%7BS5%7D%2C%20%5Cmathsf%7BK4.3%7D%2C%20%5Cmathsf%7BS4.3%7D%2C%20%5Ccdots","author_url":"https://blog.hatena.ne.jp/Incognito0/","provider_name":"Hatena Blog","height":"190","description":"\u69d8\u76f8\u8ad6\u7406\u3092\u5b66\u3076\u3068\u4f53\u7cfb\u304c\u6ca2\u5c71\u73fe\u308c\u308b\u3053\u3068\u304c\u6c17\u306b\u306a\u308b\u3068\u601d\u3046\u3002 \u305d\u308c\u3058\u3083\u3042\u4e00\u4f53\u3044\u304f\u3089\u3042\u308b\u3093\u3060\uff1f \u3068\u3044\u3046\u7591\u554f\u306b\u5bfe\u3057\u3066\u3053\u3046\u7b54\u3048\u3089\u308c\u308b\u3002 S4\u3092\u542b\u3080\u69d8\u76f8\u8ad6\u7406\u3060\u3051\u3067\u975e\u53ef\u7b97\u7121\u9650\u500b\u3042\u308b\u3002 \u3064\u307e\u308a\u30a2\u30db\u307b\u3069\u5b58\u5728\u3059\u308b\u306e\u3067\u3042\u308b\u3002 Kit Fine, \"An ascending chain of S4 logics\", Theoria, vol. 40, issue 2, pp.110-116\u306b\u3042\u308b\u8a3c\u660e\u3092\u3042\u308b\u7a0b\u5ea6\u30e9\u30d5\u306b\u8aac\u660e\u3059\u308b\u3002 \u8a3c\u660e\u306b\u306fJankov-fine\u8ad6\u7406\u5f0f\u3068\u3044\u3046\u3082\u306e(\u539f\u8ad6\u6587\u3067\u306fframe-formula)\u3068bounded morphism\u3068\u3044\u3046\u3082\u306e\u3092\u4f7f\u3046\u3002\u4ee5\u4e0b\u8a18\u53f7\u306f\u8aad\u307f\u3084\u3059\u3055\u3092\u8003\u616e\u3057\u3001\u9069\u5b9c\u539f\u8ad6\u6587\u3068\u306f\u7570\u306a\u308b\u3082\u306e\u3092\u7528\u2026","published":"2020-07-20 18:06:15","blog_title":"Asinus's blog","author_name":"Incognito0"}