您的位置:首页 > 科学研究 > 学术论文

学术论文

2024-01 | Deuser, K., Jiang, J., Naumov, P. et al.: A Dynamic Logic of Data-Informed Knowledge. J Philos Logic  (2024). https://doi.org/10.1007/s10992-023-09740-5 

2023-01 | Thomas Ågotnes, Rustam Galimullin.: Quantifying over information change with common knowledge. Autonomous Agents and Multi-Agent Systems. https://doi.org/10.1007/s10458-023-09601-0 

2022-10 | Zuojun Xiong, Thomas Ågotnes.:The logic of secrets and the interpolation rule. Annals Mathematics and Artificial Intelligence. https://doi.org/10.1007/s10472-022-09815-0 

2022-08 | 邓美林,郭美云.基于广义框架的概率认知逻辑.逻辑学研究,2022,15(04):57-75.

2022-07 | Junli Jiang, Pavel Naumov:In Data We Trust: The Logic of Trust-Based Beliefs. IJCAI-22 http://dx.doi.org/10.24963/ijcai.2022/369 

2022-07 | Junli Jiang, Pavel Naumov:The Egocentric Logic of Preferences. IJCAI-22 http://dx.doi.org/10.24963/ijcai.2022/368 

2022-05 | Junli Jiang, Pavel Naumov:Data-Informed Knowledge and Strategies. Artificial Intelligence 309(1):103727 http://dx.doi.org/10.1016/j.artint.2022.103727 

2022-03 | Thomas Ågotnes, et al.:Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power. Journal of Logic, Language and Information. https://doi.org/10.1007/s10849-022-09355-0 

2021-12 | Thomas Ågotnes, Yì N Wáng, Group Belief, Journal of Logic and Computation, Volume 31, Issue 8, December 2021, Pages 1959–1978, https://doi.org/10.1093/logcom/exaa068

2021-11 | Thomas Ågotnes, Yì N Wáng, Somebody Knows, KR2021, November 2021, Pages 2–11, https://doi.org/10.24963/kr.2021/1 

2021-10 | 李章吕,潘易欣.三门问题的概率动态认知逻辑分析.逻辑学研究,2021,14(05):23-33.

2021-05 | Rustam Galimullin, Thomas Ågotnes.: Quantified Announcements and Common Knowledge. AAMAS 2021 (Main Track). May 3-7, 2021, Online.

2021-04 | 李章吕,詹莹.彩票悖论与序言悖论的同构性与统一解. 重庆理工大学学报(社会科学),2021,35(04):52-58.人大复印资料《逻辑》2021年第4期全文转载

2021-03 | 熊作军,张玉志.关于“秘密”的逻辑语义研究.湖南科技大学学报(社会科学版),2021,24(03):27-38.DOI:10.13582/j.cnki.1672-7835.2021.03.005.

2021-03 | 李章吕,  Frank Zenker.: Newcomb's problem isn't a choice dilemma. Synthese, 2021(3) https://doi.org/10.1007/s11229-020-03018-y

2021-01 | Erik Parmann, Thomas Ågotnes.:Reasoning about strategic voting in modal logic quickly becomes undecidable. Journal of Logic and Computation. 31(4). doi:10.1093/logcom/exab001

2021-01 | 包彦征,邓辉文.后人类时代人工智能体的价值观何以可能.内蒙古社会科学, 2021,42(01):59-66. DOI:10.14137/j.cnki.issn1003-5281.2021.01.008.

2020-12 | 熊作军, Thomas Ågotnes.: Arbitrary Propositional Network Announcement Logic. M. A. Martins and I. Sedlar (Eds.): DaLi 2020, LNCS 12569, pp. 277–293, 2020.  https://doi.org/10.1007/978-3-030-65840-3_17

2020-03丨熊作军, Thomas Ågotnes.: On the Logic of Balance in Social Networks. Journal of Logic, Language and Information, 29(1), 53-75, 2020  https://doi.org/10.1007/s10849-019-09297-0 

2020-01 | 李章吕.: 萨维奇确定性原则的逻辑与认知分析.自然辩证法研究, 2020,36(01):30-36.DOI:10.19484/j.cnki.1000-8934.2020.01.006.

2019-12丨张玉志,唐晓嘉:面向完美回忆的时态认知逻辑[J/OL]   软件学报:1-9[2019-12-16].https://doi.org/10.13328/j.cnki.jos.005888.

2019-10丨林哲 (2/2): The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics.   In International Workshop on Logic, Rationality and Interaction (pp. 140-152). Springer, Berlin, Heidelberg.

2019-08丨林哲,马明辉: Gentzen sequent calculi for some intuitionistic modal logics,   Logic Journal of the IGPL, Volume 27, Issue 4, August 2019, Pages 596–623, https://doi.org/10.1093/jigpal/jzz020

2019丨Kaiyang Lin, Zhe Lin: The sequent systems and algebraic semantics of Intuitionistic tense logics.  7th International Workshop on Logic, Rationality and Interaction, 140-152

2019丨刘明元, 何向东:蒯因的哲学框架与其本体论的融贯性问题辨析.湖南科技大学学报(社会科学版),2019,22(05):38-43.

2019丨熊作军, 郭美云:A Dynamic Hybrid Logic for Followership.   International Workshop on Logic, Rationality and Interaction, 425-439

2019丨张玉志, 唐晓嘉:对社会网络中知识流动的逻辑研究.湖北大学学报(哲学社会科学版),2019,46(02):50-56.

2019丨刘明元, 何向东:从使用和提及的视角看蒯因的逻辑观. 世界哲学,2019(04):143-152.

2019丨王春丽, 何向东:布尔的逻辑哲学思想研究. 科学技术哲学研究,2019,36(03):36-41.

2019丨包彦征:习近平新发展理念的马克思主义思维逻辑.内蒙古社会科学(汉文版),2019,40(03):8-15.

2019-01 | 刘小山,唐晓嘉.基于囚徒困境博弈的理性、信息与合作分析. 西南大学学报(社会科学版),2019,45(01):21-30.DOI:10.13718/j.cnki.xdsk.2019.01.003.

2018-04丨李章吕(2/2):素质教育视域下逻辑教学改革的理论与实践. 逻辑学研究

2017-09丨李章吕:基于概率结构的纽康姆难题消解方案. 自然辩证法研究

2017-06丨李章吕(1/2):贝叶斯推理的认知困境及其消解. 科学技术哲学研究

2017-02丨李章吕:2016年全国现代逻辑学术研讨会综述. 逻辑学研究

2017丨熊作军,等:Towards a Logic of Tweeting.   International Workshop on Logic, Rationality and Interaction,49-64, 2017

2016-08丨马明辉,林哲: On the Complexity of the Equational Theory of Residuated Boolean Algebras.   In International Workshop on Logic, Language, Information, and Computation (pp. 265-278). Springer, Berlin, Heidelberg.

2016-08丨郭美云:根岑逻辑演绎思想的主要特征和哲学影响探析   《自然辩证法研究》

2016-06丨李章吕,何向东: 两种基于不同哲学立场的历史因果命名理论——论克里普克与普特南名称理论之区别   《西南大学学报(社会科学版)》19-25

2016-05丨何向东(2/2). 论直觉主义谓词逻辑的矢列式自然演绎系统   《湖南科技大学学报(社会科学版)》30-35

2016-04丨何向东(1/2):横一本从推类逻辑研究中国古代科学逻辑的著作——评《中国推类逻辑对中国古代科学之影响》   《安徽文学(下半月)》121-122

2016-03丨何向东(2/2):关于奎因的本体论标准的批判   《科学技术哲学研究》44-48

2016-02丨何向东(2/2):归纳思想新探   《科学技术哲学研究》60-64

2016-01丨何向东(2/2):论达米特的命题与事实观   《科学技术哲学研究》43-47

2015-09丨马明辉(1/2):On Extensions of Basic Propositional Logic,   Proceedings of the 13th Asian Logic Conference

2015-06丨李章吕:论纽科姆难题的因果决策结构及其消解方案   《哲学分析》

2015-05丨马明辉(2/2):Alternative Semantics for Visser’s Propositional Logics.    Logic, Language, and   Computation

2015-05丨马明辉(1/2):How to update neighbourhood models.    Journal of Logic and Computation, SCI, 

2015-05丨何向东(2/2):可能世界语义下的本体论承诺   《科学技术哲学研究》57-60

2015-05丨何向东(2/2):自然语言的本体论承诺   《自然辩证法研究》93-98

2015-05丨唐晓嘉(1/2):社会选择、公共理性与民主制度建设  《理论探索》

2015-04丨马明辉(1/2):Finite-chain graded modal logics.     Modality, Semantics and   Interpretation

2015-02丨郭美云(1/2):试析博弈困境的两种解决方案  《西南大学学报35(社会科学版)》

2015-02丨马明辉:The disjunction property of some propositional logic.   Studies in Logic

2015-02丨唐晓嘉(1/2):试析作为理论分析工具的现代逻辑  《中国高校社会科学》

2015-01丨马明辉(1/4):Tableaux for Non-normal Public Announcement Logic.   Logic and Its Applications

2015-01丨马明辉:三值逻辑与意义理论  《西南大学学报(社会科学版)》

2014-11丨蒋军利(第一作者):农民合作经营组织中管理制度的演化博弈分析《西南大学学报(自然科学版)》151-156.

2014-10丨蒋军利(1/2):社会选择中策略操纵及其防御的博弈理性认知研究  《哲学动态》

2014-10丨何向东(2/2):图尔敏论证理论探析   《哲学研究》116-121

2014-06丨马明辉(1/2):演绎、归纳与溯因———从信息哲学的观点看  《科学技术哲学研究》

2014-05丨郭美云:证实原则的认知逻辑分析 《自然辩证法研究》

2014-03丨马明辉(1/3):Algebraic semantics and model completeness for intuitionistic public announcement logic.   Annals of Pure and Applied Logic

2014-03丨何向东(2/2):演绎、归纳与溯因——从信息哲学的观点看   《科学技术哲学研究》12-21

2014-02丨李章吕:论基础概率谬误及其研究范式  《系统科学学报》

2014-01丨何向东(2/2):认知科学视域下的归纳逻辑研究述评   《逻辑学研究》100-117

2014-01丨李章吕:论基础概率谬误及其认知策略   《湖北大学学报(社会科学版)》

2014-01丨唐晓嘉(2/2):GCI—优先解读理论的去语境解释  《科学技术哲学研究》

2014-01丨李章吕:论基础概率谬误及其认知策略  《湖北大学学报》

2014-01丨马明辉:塔尔斯基论逻辑后承概念  《世界哲学》

2014   丨何向东:关于建设中国高水平民办大学的思考   《国家教师科研专项基金科研成果(神州教育第5卷)》

2013-11丨马明辉:常逻辑公式与可定义性   《湖南科技大学学报(社会科学版)》

2013-10丨郭美云(1/2):The Logic of a Priori and a Posteriori Rationality in Strategic Game,    Proceeding of 4th International workshop on Logic Rationality and Interaction(ISSN:0302-9743), Springer, pp 218-227.

2013-10丨马明辉(1/2):How to Update Neighborhood Models ,    Proceedings of LORI IV

2013-09丨马明辉(1/2):模态对应理论的历史、现状与未来:约翰·范本特姆教授访谈录   《世界哲学》

2013-08丨郭美云(1/2):试析约翰·范本特姆对逻辑“新心理主义”的辩护   《哲学研究》

2013-07丨何向东(3/3):论戴维特对因果论的推进   《哲学动态》98-103

2013-05丨何向东(2/2):福多和布兰顿关于概念问题的三个理论分歧   《科学技术哲学研究》25-29

2013-05丨何向东(2/2):斯特劳森与奎因本体论思想之差异探析   《广西社会科学》42-46

2013-04丨蒋军利(第二作者):基于名声机制的重复囚徒困境合作博弈分析  《计算机科学》第40卷,第4期,240-243页

2013-03丨何向东(通讯作者):布兰顿推理论的整体论取向及其问题   《哲学研究》

2013-03丨何向东(2/2):名称指称的一种推理解释   《西南大学学报(社会科学版)》

2013-03丨唐晓嘉(2/2):“会话隐涵”研究的信念契合路径探析   《哲学动态》

2013-02丨何向东(1/2):名称指称的一种推理解释   《西南大学学报(社会科学版)》17-23+173

2013-02丨李章吕(2/2):贝叶斯决策理论的发展概况和研究动态   《科学技术哲学研究》

2013-02丨何向东(2/2):隐喻的新模式   《自然辩证法研究》

2013-01丨李章吕:论主观概率判断中的基础概率谬误   《理论与现代化》

2013-01丨何向东(2/2): 司法叙事理论的内涵及意义[N]. 光明日报,2013-01-15(011).

2013丨蒋军利(第一作者): On Logical Representations of Coalitional Games ,  3rd International Conference on Applied Social Science, Taipei, TAIWAN, JAN 15-16,VOL 2: pp. 533-538, 2013.(ISSHP检索号:000318742400098)

2013丨郭美云(1/2):Comments on Bicchieri Levon and Chavez,   Proceeding of the Tsinghua Logic Conference, Beijing 2013 College Publications, pp.368-371

2012-12丨郭美云(1/2):逻辑学研究综述   《重庆社会科学年鉴2011年卷》

2012-11丨李章吕:普特南论传统意义理论的困境及改造方案   《理论月刊》

2012-11丨马明辉:论逻辑系统的波斯特完全性   《自然辩证法研究》

2012-10丨何向东(2/2):福多的组合性思想及其理论旨趣   《哲学动态》97-102

2012-08丨何向东(2/2):索引词研究的逻辑哲学意蕴及其启示   《自然辩证法研究》12-17

2012-06丨唐晓嘉(通讯作者):基于判断聚合逻辑的偏好聚合分析   《计算机科学》

2012-05丨唐晓嘉(通讯作者):从语言图像论到语言游戏说——维特根斯坦哲学思想的转变   《西南大学学报(社会科学版)》

2012-05丨何向东(2/2):斯特劳森对康德先验论证的重构   《社会科学战线》234-236

2012-04丨何向东(通讯作者):个体确定名称之指称的推理特征——从皮尔斯指号-名称思想看   《哲学研究》

2012-03丨何向东:“马工程”《逻辑学导论》的编写思路   《燕山大学学报(哲学社会科学版)》1-4

2012-03丨马明辉:论教学观的认知转向   《四川师范大学学报(社会科学版)》

2012-03丨唐晓嘉(通讯作者):基于逻辑的社会选择理论研究   《哲学动态》

2012-02丨唐晓嘉(通讯作者):基于直觉主义逻辑的隐偏好逻辑分析   《逻辑学研究》

2012-01丨何向东(2/2):面向不足与复杂认知的当代归纳逻辑研究   《哲学动态》91-96

2012-01丨马明辉(1/2):模态对应理论述评   《哲学动态》

2012-01丨马明辉:论广义弗雷格谜题   《哲学研究》

2011-10丨何向东(2/2):试论自然种类词项的指称机制   《自然辩证法研究》12-16.

2011-09丨郭美云(通讯作者):Logics of Belief over Weighted Structures ,   Proceedings of LORI-III , LNAI 6953 , Springer

2011-09丨马明辉:Mathematics of Public Announcements ,   Proceedings of LORI-III , LNAI 6953 , Springer

2011-09丨何向东(2/2):论莱布尼茨充足理由原则的哲学意蕴   《自然辩证法研究》1-6.

2011-08丨何向东(2/2):从量化和时间表达的角度看DRT   《重庆理工大学学报(社会科学)》32-36+52.

2011-07丨 何向东(通讯作者):论“若,则”句的逻辑刻画及蕴涵怪论的消解   《哲学动态》

2011-07丨何向东(通讯作者):论认知活动中归纳推理对相似性的把握   《哲学研究》

2011-06丨郭美云:从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介   《逻辑学研究》

2011-06丨李章吕:论证据决策理论的困境与出路   《哲学动态》

2011-05丨何向东(2/2):普特南对传统语义理论的批判和外在语义论的构建   《重庆邮电大学学报(社会科学版)》96-100.

2011-05丨王静(2/2):一个基于三角模式的个体利他行为解释   《哲学动态》

2011-04丨何向东(通讯作者):论奎因自然主义认识论的经验论基础——兼论奎因对归纳方法的看法   《自然辩证法研究》

2011-03丨李莉:Semantic based aspect-oriented programming for context-aware Web service composition,   Information Systems, 36(3) 551-564

2011-02丨何向东(2/2):社会群体中的偏好逻辑   《逻辑学研究》68-80.

2011-01丨马明辉(通讯作者): A Modal Logic for Multiple-Source Tolerance Approximation Spaces ,    ICLA 2011 , LNAI

2011-01丨郭美云(1/2): A Dynamic Preference Logic with Issue-management ,    逻辑学研究1674-3202

2011-01丨何向东(2/2):从代词照应关系的角度看DRT   《哲学动态》95-99.

2011  丨熊作军,Jeremy Seligman:How questions guide choices: a preliminary logical investigation.   AI : Advances in Artificial Intelligence, 462-471, 2011

2011   丨郭美云(1/2):Making Rational Choice in Social situation,    Institute of Logic Language and Computation 2011 Yearbook, University of Amsterdam

2011  丨熊作军,Jeremy Seligman:A logic of questions for rational choice.   International Workshop on Logic, Rationality and Interaction, 398-399, 2011

2011  丨熊作军,Jeremy Seligman:Open and closed questions in decision-making . Electronic Notes in Theoretical Computer Science 278, 261-274, 2011

2011  丨郭美云,熊作军:A dynamic preference logic with issue-management , Studies in Logic 1, 2011

2010-12丨郭美云(1/2):逻辑学研究综述   《重庆社会科学年鉴2009年卷》

2010-08丨李章吕:支持理论对标准概率理论的超越和发展   《学术论坛》

2010-06丨何向东(2/2):“以人为本”与逻辑思维素质培养——“钱学森之问”引发的思考   《西南大学学报(社会科学版)》46-50.

2010-05丨蒋军利(第一作者):对博弈解概念认知和理性条件的逻辑分析   《计算机科学》2010第37卷,第5期,223-227页

2010-04丨何向东(2/3),唐晓嘉(3/3):克里普克语言哲学研究   《重庆邮电大学学报(社会科学版)》48-51.

2010-04丨李章吕:中国当代归纳逻辑研究概况   《逻辑学研究》

2010-03丨郭美云(1/2):第二届“逻辑、理性与互动”国际研讨会会议综述   《逻辑学研究》

2010-03丨蒋军利(第一作者):试析蒙塔古的语用内涵逻辑   《西南大学学报(社会科学版)》第36卷,第3期

2010-03丨郭美云(2/2):关于逻辑、语言和认知的对话   《哲学动态》

2010-02丨何向东(1/2):中西哲学因果关系研究的回顾及其启示   《哲学研究》71-78.

2010-02丨何向东(2/2):罗素的本体论思想及与名称和摹状词理论的关系   《自然辩证法研究》7-12.

2009-10丨郭美云(2/3):Characterizations for Iterative Admissibility Based on PEGL, Proceeding of the second international workshop on Logic, Rationality and Interaction(LORI-II)(Eds. He, Horty and Pacuit), Springer

2009-10丨何向东(2/2):因果逻辑研究述评   《哲学动态》98-101.

2009-03丨郭美云(3/3):范本特姆《逻辑、语言和认知》书介   《自然辩证法研究》

2009-01丨郭美云(3/3):范本特姆《逻辑、语言和认知》书介   《逻辑学研究》

2009丨何向东: 我国逻辑学的繁荣与发展——祝贺改革开放的巨大成就和中国逻辑学会成立30周年[A]. 中国逻辑学会.改革开放以来逻辑的历程——中国逻辑学会成立30周年纪念文集(下卷)[C].中国逻辑学会:13.

2008-12丨何向东,李章吕:论中国逻辑学的繁荣与发展——纪念改革开放30周年   《哲学动态》93-97.

2008-03丨郭美云(1/2):加强课程体系建设,促进“讲坛哲学”发展   《哲学动态》

2008丨何向东. 认知科学视域下的归纳逻辑研究[A]. 河北省自然辩证法研究会.“科学发展观与建设沿海强省学术研讨会暨河北省自然辩证法研究会2008年年会”论文集[C].河北省自然辩证法研究会:16.

2008丨何向东(1/2):蒯因论逻辑真理的哲学性质   《哲学研究》121-126.

2007-12丨何向东:关于西部公民人文素质的现状调查   《重庆工学院学报(社会科学版)》

2007-11丨郭美云:分布式知识的研究进展   《哲学动态》

2007-10丨郭美云:“和积之谜”的动态认知逻辑分析   2007年全国现代逻辑学术研讨会论文集

2007-05丨何向东(2/2):合情推理的逻辑——从欧拉猜想说起   《安徽大学学报(哲学社会科学版)》39-42.

2007-04丨何向东:关于制定《中华人民共和国环境教育法》的思考   《西南大学学报(社会科学版)》104-108.

2007-03丨何向东(2/2):我国中学生道德素质现状及优化路径   《江西教育科研》17-20.

2007-03丨何向东(1/2):归纳逻辑研究述评   《自然辩证法研究》31-34+44

2007-02丨何向东(2/2):和谐社会视域下的我国大学生道德素质现状及优化路径分析   《复旦教育论坛》48-53+69.

2007-02丨何向东(1/2):论实用主义的“真理论”   《哲学研究》90-94

2007丨何向东(2/2): 一个“知识”定义的逻辑解释 [A].    燕山大学文法学院、中国社会科学院哲学所逻辑室.2007年现代逻辑与逻辑史研讨会论文集[C].燕山大学文法学院、中国社会科学院哲学所逻辑室

2006-10丨何向东(2/2):个体的跨界同一性分析   《自然辩证法研究》37-41.

2006-05丨郭美云:带有群体知识的动态认知逻辑   北京大学

2006-04丨何向东(2/3):大学生逻辑思维能力与创造力倾向关系的研究   《青年探索》50-52.

2006-03丨唐晓嘉(1/2):《逻辑原子主义对确定性知识的追求》   哲学研究

2006-01丨郭美云:从PAL看认知逻辑的动态转换   《自然辩证法研究》

2006丨何向东:改革与建设逻辑课程 竭诚服务素质教育[A]. 南京大学哲学系、中国逻辑学会、江苏省逻辑学会.第二届海峡两岸逻辑教学学术会议专辑[C].南京大学哲学系、中国逻辑学会、江苏省逻辑学会:4.

2005-06丨郭美云:一般群体知识的多主体认知逻辑   《2005年逻辑研究专辑》

2005   丨郭美云:一个带一般群体知识的多主体认知逻辑系统   《哲学动态(2005年逻辑学专刊)》

2004-09丨唐晓嘉(独立撰写):《主体间的互动性与多主体认知模型的建构》   自然辩证法研究

2003-04丨郭美云:辛提卡IF一阶逻辑研究   西南师范大学

2003丨唐晓嘉(独立撰写):《建立多主体认知推理模型的几点思考》   中山大学学报2003年逻辑与认知专刊

2002-10丨郭美云(2/2):模糊集合隶属函数确定中的哲学思考   《西南师范大学学报(人文社会科学版)》

2002-03丨唐晓嘉(独立撰写):《可靠性知识及其基础的哲学认识演变》   西南师范大学学报

2002丨唐晓嘉(独立撰写):《知识库的表达——概念语言C(ALCKB)》   自然辩证法研究2002年逻辑专刊

2001-05丨唐晓嘉(独立撰写):《科学博弈与语言博弈》   哲学动态

2001丨唐晓嘉(独立撰写):《辛提卡语言博奕理论分析》   哲学动态2001年逻辑专刊

2000-04丨唐晓嘉(独立撰写):《辛提卡的语言博弈理论》   西南师范大学学报(人文社会科学版)

1999-04丨唐晓嘉(独立撰写):《认知命题的逻辑语义特征分析》   西南师范大学学报(人文社会科学版)

1998-11丨唐晓嘉(独立撰写):《从〈论道〉看金岳霖的经验主义哲学思想》   哲学研究