首页
中心概况
中心简介 规章制度 机构设置 中心简报 媒体ILI
研究机构
现代逻辑与人工智能 哲学逻辑与逻辑哲学 逻辑与认知
科学研究
学术论文 学术专著 科研项目
研究团队
专职人员 博士后人员 离退休人员 研究生 校内兼职人员 校外兼职人员
招生培养
招生计划 培养计划 研究生课程表
天辅基金
基金概况 机构设置 新闻动态
重庆市逻辑学会
学会概况 学会机构 学会章程 新闻动态
联系我们
ENG
Introduction of ILI Organization Researchers Announcements Invited Talks Conferences About & Contact
AWPL2026
Home Call for Papers Committees Invited Speakers Schedule Accepted Papers Registration Local Information
首页 中心概况
中心简介 规章制度 机构设置 中心简报 媒体ILI
研究机构
现代逻辑与人工智能 哲学逻辑与逻辑哲学 逻辑与认知
科学研究
学术论文 学术专著 科研项目
研究团队
专职人员 博士后人员 离退休人员 研究生 校内兼职人员 校外兼职人员
招生培养
招生计划 培养计划 研究生课程表
天辅基金
基金概况 机构设置 新闻动态
重庆市逻辑学会
学会概况 学会机构 学会章程 新闻动态
联系我们 ENG
Introduction of ILI Organization Researchers Announcements Invited Talks Conferences About & Contact
AWPL2026
Home Call for Papers Committees Invited Speakers Schedule Accepted Papers Registration Local Information
Center Overview
新闻动态（News） 通知公告（Announcements） 天辅逻辑论坛（Tianfu Logic） 师生活动（Seminars & Events） 第18届全国现代逻辑学术研讨会 学生及毕业生
首页/ 天辅逻辑论坛（Tianfu Logic）/ 正文
讲座预告 | 陈小娟：基于动态认知逻辑的非单调密码协议分析

发布时间：2025-03-10 14:17

作者：

来源：

浏览次数：

undefined

（陈小娟/文，郭美云/审核，熊作军/设计、发布）


上一篇： 讲座回顾 | 陈小娟：基于动态认知逻辑的非单调密码协议分析

下一篇： 讲座回顾 | 张燕京：弗雷格的真之理论

关注我们 Logic_SWU
联系邮箱 logic2004@swu.edu.cn
联系地址 中国·重庆·北碚区天生路2号
CopyRight Reserved 西南大学逻辑与智能研究中心 版权所有