{"id":544,"date":"2025-09-22T17:56:15","date_gmt":"2025-09-22T09:56:15","guid":{"rendered":"https:\/\/www.ncml.org.cn\/sites\/2025\/?page_id=544"},"modified":"2025-09-23T10:43:14","modified_gmt":"2025-09-23T02:43:14","slug":"papers","status":"publish","type":"page","link":"https:\/\/www.ncml.org.cn\/sites\/2025\/papers\/","title":{"rendered":"\u4f1a\u8bae\u8bba\u6587"},"content":{"rendered":"<h6>\u672c\u6b21\u4f1a\u8bae\u5171\u6536\u523064\u7bc7\u7a3f\u4ef6\u6295\u7a3f\uff0c\u7ecf\u7a0b\u5e8f\u59d4\u5458\u4f1a\u521d\u7b5b\uff0c\u5171\u670950\u7bc7\u7a3f\u4ef6\u8fdb\u5165\u7a0b\u5e8f\u59d4\u5458\u4f1a\u5ba1\u7a3f\u3002\u6839\u636e\u6295\u6807\u610f\u5411\uff0c\u6bcf\u7bc7\u7a3f\u4ef6\u90fd\u6307\u6d3e\u4e862-3\u540d\u4e13\u5bb6\u5b9e\u884c\u201c\u4e09\u76f2\u533f\u540d\u201d\u5ba1\u7a3f\uff0c\u6839\u636e\u5ba1\u7a3f\u7ed3\u8bba\uff0c\u5171\u63a5\u53d7\u4e8620\u7bc7\u7a3f\u4ef6\u4e3a\u201c\u5e38\u89c4\u8bba\u6587\u201d\uff0c12\u7bc7\u7a3f\u4ef6\u4e3a\u201c\u6d77\u62a5\u8bba\u6587\u201d\uff0c\u73b0\u516c\u5e03\u5982\u4e0b\uff1a<\/h6>\n<h6><strong>\u5e38\u89c4\u8bba\u6587<\/strong>\uff08\u7b2c\u4e00\u4f5c\u8005\u59d3\u540d\u97f3\u5e8f\uff09<\/h6>\n<ol>\n<li>Binghe Gong and Yetao Hu<em>.<\/em>\u00a0Unrestricted Fusion and the Recombination Paradox<\/li>\n<li>Chen Yang. Counting the Cost of Countabilism<\/li>\n<li>Fei Xue and Tianyi Chu. On the Co-measurability of Experimental Propositions: a Team-based Logical Analysis<\/li>\n<li>Jie Fan. Correcting Factive Ignorance: A Revised Logico-Semantic Framework<\/li>\n<li>Jingru Kou and Yetao Liu. \u4ece\u5143\u8bed\u8a00\u8fdb\u8def\u5230\u8ba4\u77e5\u5047\u626e \u2014\u2014\u56de\u5e94\u201c\u5f17\u96f7\u683c\u4e4b\u8c1c\u201d\u7684\u76f4\u63a5\u6307\u79f0\u7406\u8bba\u65b0\u65b9\u6848<\/li>\n<li>Lin Chen and Xuefeng Wen. Are ST and CL the Same Logic?<\/li>\n<li>Liying Zhang. The Logics for Exclusive Ceteris Paribus Laws<\/li>\n<li>Rui Zhu. A Complete Tableau System for Social Announcement Logic<\/li>\n<li>Xin Sun, Xingchi Su, Xiaoning Bian and Huiwen Wu. Satisfaction-based Quantum Hoare Logic With Deterministic Assertion<\/li>\n<li>Yang Cheng and Shi Hongji. \u8bba\u9884\u8bbe\u7406\u8bba\u4e0eAI\u9006\u8f6c\u8bc5\u5492<\/li>\n<li>Yetao Hu. \u903b\u8f91\u4f11\u8c1f\u968f\u9644\u6027\u4e0e\u903b\u8f91\u865a\u65e0\u8bba<\/li>\n<li>Yiheng Wang. \u65f6\u6001\u5965\u5361\u59c6\u903b\u8f91<\/li>\n<li>Yingtong Ye. A Plan-Based Logic of Sufficient Means and Dynamic Goals<\/li>\n<li>Yixin Pan and Meiyun Guo. Belief Revision and Probability Update Based on Public Announcement<\/li>\n<li>Zhentao Zhang. On definable J-sets<\/li>\n<li>Zhiqiang Sun and Zitong Hao. 20\u4e16\u7eaa\u524d\u671f\u201c\u63f4\u5f0f\u63a8\u7406\u201d\u7684\u6982\u5ff5\u6f14\u53d8\u7814\u7a76 \u2014\u2014\u4ee5\u6881\u3001\u80e1\u3001\u683e\u4e3a\u4f8b<\/li>\n<li>\u848b\u660a. \u8bba\u725f\u5b97\u4e09\u201c\u7eaf\u7406\u201d\u903b\u8f91\u89c2\u4e0e\u8fa9\u8bc1\u903b\u8f91\u4e4b\u4f1a\u901a \u2014\u2014\u4e00\u6761\u6096\u8bba\u7814\u7a76\u7684\u7ebf\u7d22<\/li>\n<li>\u674e\u5764\u6853. \u8d44\u683c\u8eab\u4efd\u7684\u6982\u7387\u8bed\u7528\u5b66\u5efa\u6a21<\/li>\n<li>\u5434\u53ef\uff0c\u4ed8\u5c0f\u8f69. \u4fe1\u5ff5\u4fee\u6b63\u5728\u793e\u4ea4\u7f51\u7edc\u4e2d\u7684\u6536\u655b\u6027\u5206\u6790<\/li>\n<li>\u8d75\u6797\u579a. \u4e09\u795e\u8c1c\u9898\u4e2d\u7684\u81ea\u6307\u95ee\u9898\u5f62\u5f0f\u5316\u7814\u7a76<\/li>\n<\/ol>\n<h6><strong>\u6d77\u62a5\u8bba\u6587<\/strong>\uff08\u7b2c\u4e00\u4f5c\u8005\u59d3\u540d\u97f3\u5e8f\uff09<\/h6>\n<ol>\n<li>Beini Jia. \u9690\u55bb\u662f\u4e00\u79cd\u201c\u60f3\u8c61\u201d\u5417\uff1f\u2014\u2014\u57fa\u4e8eLepore\u4e0eStone\u89c6\u89d2\u8f6c\u6362\u7406\u8bba\u7684\u5206\u6790<\/li>\n<li>Chen Dan. \u5b9e\u8d28\u8574\u6db5\u201c\u4e25\u5cfb\u53cd\u4f8b\u201d\u7684\u63a8\u5e7f\u4e0e\u6d88\u89e3 \u2014\u2014\u57fa\u4e8e\u771f\u503c\u6761\u4ef6\u4e0e\u771f\u503c\u63a8\u5b9a\u7684\u533a\u5206<\/li>\n<li>Honghui Zhu. \u6e29\u548c\u63a8\u7406\u4e3b\u4e49\u89c6\u89d2\u4e0b\u903b\u8f91\u5e38\u9879\u7684\u5212\u754c<\/li>\n<li>Honghui Zhu. \u903b\u8f91\u7b49\u8bcd\u4e4b\u54f2\u5b66\u65e8\u8da3<\/li>\n<li>Junyi Yan. \u539f\u578b\u8303\u7574\u7406\u8bba\u89c6\u89d2\u4e0b\u9690\u55bb\u7814\u7a76<\/li>\n<li>Kuize Zhang. Resilience in labeled real-time automata<\/li>\n<li>Lixiao Lin. Quantifiers and Constrained Epistemic Modality<\/li>\n<li>Rujing Wang. An Axiomatization of Public Announcement Logic with Three PDL-Style Updates<\/li>\n<li>\u9ad8\u8d1d\u8d1d. \u63a8\u7406\u503e\u5411\u6027\uff1a\u4e00\u79cd\u7406\u89e3\u6982\u62ec\u96be\u9898\u7684\u77e5\u8bc6\u8bba\u8fdb\u8def<\/li>\n<li>\u90ed\u57ce\u8a00. KK\u539f\u5219\u7684\u591a\u6a21\u6001\u5316\u2014\u2014\u57fa\u4e8e\u5bf9\u5a01\u5ec9\u59c6\u68ee\u53cdKK\u8bba\u8bc1\u7684\u53cd\u601d<\/li>\n<li>\u59dc\u666f\u54f2. \u57fa\u4e8e\u8bed\u5883\u7684\u5b9e\u8df5\u6761\u4ef6\u53e5\u63a8\u7406\u7814\u7a76<\/li>\n<li>\u6731\u5955\u7487\uff0c\u5218\u53f6\u6d9b. \u7eaf\u7cb9\u5143\u8bed\u8a00\u7406\u8bba\u4e0e\u6a21\u6001\u8bba\u8bc1<\/li>\n<\/ol>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u672c\u6b21\u4f1a\u8bae\u5171\u6536\u523064\u7bc7\u7a3f\u4ef6\u6295\u7a3f\uff0c\u7ecf\u7a0b\u5e8f\u59d4\u5458\u4f1a\u521d\u7b5b\uff0c\u5171\u670950\u7bc7\u7a3f\u4ef6\u8fdb\u5165\u7a0b\u5e8f\u59d4\u5458\u4f1a\u5ba1\u7a3f\u3002\u6839\u636e\u6295\u6807\u610f\u5411\uff0c\u6bcf\u7bc7\u7a3f\u4ef6\u90fd\u6307\u6d3e &#8230; <a title=\"\u4f1a\u8bae\u8bba\u6587\" class=\"read-more\" href=\"https:\/\/www.ncml.org.cn\/sites\/2025\/papers\/\" aria-label=\"\u9605\u8bfb \u4f1a\u8bae\u8bba\u6587\">\u9605\u8bfb\u66f4\u591a<\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-544","page","type-page","status-publish"],"_links":{"self":[{"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/pages\/544","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/comments?post=544"}],"version-history":[{"count":9,"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/pages\/544\/revisions"}],"predecessor-version":[{"id":556,"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/pages\/544\/revisions\/556"}],"wp:attachment":[{"href":"https:\/\/www.ncml.org.cn\/sites\/2025\/wp-json\/wp\/v2\/media?parent=544"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}