{"description":"https://yknishimuta.github.io/nishimuta_works/texts/logic_notes/modalities_in_transcendental_syntax.pdf","categories":["\u7dda\u5f62\u8ad6\u7406"],"author_url":"https://blog.hatena.ne.jp/Incognito0/","url":"https://incognito0.hatenablog.com/entry/2026/02/01/204419","width":"100%","height":"190","provider_url":"https://hatena.blog","provider_name":"Hatena Blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fincognito0.hatenablog.com%2Fentry%2F2026%2F02%2F01%2F204419\" title=\"On Modalities in Girard&#39;s Transcendental Syntax - 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>","type":"rich","version":"1.0","published":"2026-02-01 20:44:19","blog_url":"https://incognito0.hatenablog.com/","title":"On Modalities in Girard's Transcendental Syntax","image_url":null,"blog_title":"Asinus's blog","author_name":"Incognito0"}