{"id":13279,"date":"2026-10-25T10:46:14","date_gmt":"2026-10-25T10:46:14","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/metaphysics-logic-seminar-21\/"},"modified":"2026-10-25T10:46:14","modified_gmt":"2026-10-25T10:46:14","slug":"metaphysics-logic-seminar-21","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/arche\/event\/metaphysics-logic-seminar-21\/","title":{"rendered":"Metaphysics &amp; Logic Seminar: Yiheng Wang &#8211; Constructive Thoroughly Linear Modal Logic"},"content":{"rendered":"<p><span data-olk-copy-source=\"MessageBody\"><strong>Abstract:<\/strong> In this talk, I will explore the constructive variant of thoroughly linear modal logic (TLML) suggested by Restall (2026): constructive thoroughly linear modal logic (CTLML). I will present a hypersequent calculus for CTLML along with its sound and complete algebraic semantics. Much like the relationship between TLML and the classical modal logic S5, I will show that CTLML is exactly the thoroughly linear core of MIPC, the intuitionistic counterpart of S5. Finally, I will provide a big picture illustrating the relationship between CTLML and various mainstream (classical and intuitionistic) modal logics.<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Abstract: In this talk, I will explore the constructive variant of thoroughly linear modal logic (TLML) suggested by Restall (2026): constructive thoroughly linear modal logic&#8230;<\/p>\n","protected":false},"author":44,"featured_media":0,"template":"","meta":{"_tribe_events_status":"","_tribe_events_status_reason":"","_tribe_events_is_hybrid":"","_tribe_events_is_virtual":"","_tribe_events_virtual_video_source":"","_tribe_events_virtual_embed_video":"","_tribe_events_virtual_linked_button_text":"","_tribe_events_virtual_linked_button":"","_tribe_events_virtual_show_embed_at":"","_tribe_events_virtual_show_embed_to":[],"_tribe_events_virtual_show_on_event":"","_tribe_events_virtual_show_on_views":"","_tribe_events_virtual_url":"","footnotes":"","_links_to":"","_links_to_target":""},"tags":[],"tribe_events_cat":[47],"class_list":["post-13279","tribe_events","type-tribe_events","status-publish","hentry","tribe_events_cat-metaphysics-and-logic-group","cat_metaphysics-and-logic-group"],"_links":{"self":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/13279","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events"}],"about":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/types\/tribe_events"}],"author":[{"embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/users\/44"}],"version-history":[{"count":1,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/13279\/revisions"}],"predecessor-version":[{"id":13280,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events\/13279\/revisions\/13280"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/media?parent=13279"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tags?post=13279"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/arche\/wp-json\/wp\/v2\/tribe_events_cat?post=13279"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}