{"id":22,"date":"2026-04-27T17:34:33","date_gmt":"2026-04-27T17:34:33","guid":{"rendered":"https:\/\/www.eaglelogic.org\/wofp2026\/?page_id=22"},"modified":"2026-06-08T03:36:58","modified_gmt":"2026-06-08T03:36:58","slug":"eagle","status":"publish","type":"page","link":"https:\/\/www.eaglelogic.org\/wofp2026\/eagle\/","title":{"rendered":"Workshop on Logic and Its Engagement"},"content":{"rendered":"<h2 id=\"tablepress-2-name\" class=\"tablepress-table-name tablepress-table-name-id-2\">Preliminary Program<\/h2>\n<span id=\"tablepress-2-description\" class=\"tablepress-table-description tablepress-table-description-id-2\"><span style=\"color:green;font-weight:bold;\">Note: Click on a presentation title to view the abstract.<\/span><\/span>\n\n<table id=\"tablepress-2\" class=\"tablepress tablepress-id-2 tbody-has-connected-cells\" aria-labelledby=\"tablepress-2-name\" aria-describedby=\"tablepress-2-description\">\n<thead>\n<tr class=\"row-1\">\n\t<td class=\"column-1\" style=\"width:7%;\"><\/td><th class=\"column-2\" style=\"width:31%;\">Wednesday (24 June)<\/th><th class=\"column-3\" style=\"width:31%;\">Thursday (25 June)<\/th><th class=\"column-4\" style=\"width:31%;\">Friday (26 June)<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"row-striping row-hover\">\n<tr class=\"row-2\">\n\t<td class=\"column-1\">10:00 \u2013 11:00<\/td><td class=\"column-2\"><span class='pum-trigger  popmake-279  ' data-do-default=''><span style=\"font-weight:bold\">Thomas \u00c5gotnes<\/span><br \/>\nUniversity of Bergen &amp; Shanxi University<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">Weakening Distribution over Conjunction in Modal Logics, with Two Applications in Epistemic Logic<\/span><\/span><\/td><td class=\"column-3\"><span class='pum-trigger  popmake-374  ' data-do-default=''><span style=\"font-weight:bold\">Da Fan<\/span><br \/>\nShandong University<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">Background Intervention and Modality<\/span><\/span><\/td><td class=\"column-4\"><span class='pum-trigger  popmake-120  ' data-do-default=''><span style=\"font-weight:bold\">Graham Priest<\/span><br \/>\nCUNY, UoM, RUB, SDU &amp; Tohoku U.<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">Two Objections to a Dialetheic Solution to the Semantic Paradoxes<\/span><\/span><\/td>\n<\/tr>\n<tr class=\"row-3\">\n\t<td class=\"column-1\"><\/td><td class=\"column-2\"><span style=\"color:grey;\">Coffee Break<\/span><\/td><td colspan=\"2\" class=\"column-3\"><span style=\"color:grey;\">Coffee Break<\/span><\/td>\n<\/tr>\n<tr class=\"row-4\">\n\t<td class=\"column-1\">11:30 \u2013 12:30<\/td><td class=\"column-2\"><span class='pum-trigger  popmake-139  ' data-do-default=''><span style=\"font-weight:bold\">Kunhuan Li &amp; Liwu Rong<\/span><br \/>\nShandong University<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">Weak Denial in Layered Discourse Representation Theory<\/span><\/span><\/td><td class=\"column-3\"><span class='pum-trigger  popmake-348  ' data-do-default=''><span style=\"font-weight:bold\">Sara Ayhan<\/span><br \/>\nTohoku University<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">Constructive Negation Is not Constructive<\/span><\/span><\/td><td class=\"column-4\"><span class='pum-trigger  popmake-261  ' data-do-default=''><span style=\"font-weight:bold\">Ching Hui Su<\/span><br \/>\nShandong University<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">Conditionals as Question-Answer Pairs<\/span><\/span><\/td>\n<\/tr>\n<tr class=\"row-5\">\n\t<td class=\"column-1\"><\/td><td class=\"column-2\"><\/td><td colspan=\"2\" class=\"column-3\"><span style=\"color:grey;\">Lunch Break<\/span><\/td>\n<\/tr>\n<tr class=\"row-6\">\n\t<td class=\"column-1\">13:30 \u2013 14:30<\/td><td rowspan=\"3\" class=\"column-2\"><\/td><td class=\"column-3\"><span class='pum-trigger  popmake-388  ' data-do-default=''><span style=\"font-weight:bold\">Takako Nemoto<\/span><br \/>\nTohoku University<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">Finiteness and Infiniteness in Constructive Mathematics<\/span><\/span><\/td><td class=\"column-4\"><span class='pum-trigger  popmake-361  ' data-do-default=''><span style=\"font-weight:bold\">Hitoshi Omori<\/span><br \/>\nTohoku University<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">Gentzen\u2019s Idea in View of Non-Deterministic Semantics<\/span><\/span><\/td>\n<\/tr>\n<tr class=\"row-7\">\n\t<td class=\"column-1\"><\/td><td colspan=\"2\" class=\"column-3\"><span style=\"color:grey;\">Coffee Break<\/span><\/td>\n<\/tr>\n<tr class=\"row-8\">\n\t<td class=\"column-1\">15:00 \u2013 16:00<\/td><td class=\"column-3\"><span class='pum-trigger  popmake-367  ' data-do-default=''><span style=\"font-weight:bold\">Lun Zhang<\/span><br \/>\nShandong University<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">The Metaphysical Difficulties of Mathematical Structuralism<\/span><\/span><\/td><td class=\"column-4\"><span class='pum-trigger  popmake-364  ' data-do-default=''><span style=\"font-weight:bold\">Y\u00ec N. W\u00e1ng<\/span><br \/>\nShandong University<br \/>\n<span style=\"color:SteelBlue;font-weight:bold\">Resource-Bounded PDL<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-2 from cache -->\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_kadence_starter_templates_imported_post":false,"footnotes":""},"class_list":["post-22","page","type-page","status-publish"],"_links":{"self":[{"href":"https:\/\/www.eaglelogic.org\/wofp2026\/wp-json\/wp\/v2\/pages\/22","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.eaglelogic.org\/wofp2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.eaglelogic.org\/wofp2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.eaglelogic.org\/wofp2026\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.eaglelogic.org\/wofp2026\/wp-json\/wp\/v2\/comments?post=22"}],"version-history":[{"count":33,"href":"https:\/\/www.eaglelogic.org\/wofp2026\/wp-json\/wp\/v2\/pages\/22\/revisions"}],"predecessor-version":[{"id":373,"href":"https:\/\/www.eaglelogic.org\/wofp2026\/wp-json\/wp\/v2\/pages\/22\/revisions\/373"}],"wp:attachment":[{"href":"https:\/\/www.eaglelogic.org\/wofp2026\/wp-json\/wp\/v2\/media?parent=22"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}