收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

有穷深度的模态逻辑

楚白  
【摘要】:本文旨在建立一个比Segerberg定理和Nagle定理都更一般的“边界”结果:所有深度有穷的模态逻辑都有有穷模型性,无论是否传递逻辑。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张力锋;;论模态逻辑的合法性——对蒯因式模态词解读的批判考察[J];学术研究;2006年09期
2 裘江杰;;基础认知词模态逻辑[J];湖南科技大学学报(社会科学版);2009年04期
3 沈洁;;现代模态逻辑对必然性的刻画[J];东南大学学报(哲学社会科学版);2006年S1期
4 姚从军;;古典命题逻辑与模态命题逻辑的自然推理系统之比较[J];湖南科技学院学报;2008年09期
5 姚从军;;走进模态逻辑的互模拟[J];科学技术哲学研究;2010年03期
6 董英东;;模态逻辑发展历史概述[J];燕山大学学报(哲学社会科学版);2010年02期
7 朱建平;;布尔和赛格贝格论模态逻辑的三大传统[J];山东理工大学学报(社会科学版);2010年04期
8 刘张华;;可及关系的哲学分析[J];东方论坛;2011年01期
9 张明德,陈文江;休谟归纳问题:一个新模态逻辑语义解[J];华东理工大学学报(社会科学版);2002年04期
10 娄永强;;模态逻辑的信息框架[J];晋中学院学报;2008年06期
11 赵军;刘伟伟;;克里普克语义学及其指称关联[J];科学技术与辩证法;2009年01期
12 马明辉;;走向模型论的模态逻辑[J];逻辑学研究;2009年01期
13 马海斌;王国俊;;模态R_0代数与模态滤子的若干性质[J];陕西师范大学学报(自然科学版);2009年04期
14 王辉;;全局性模态词与基本模态语言的扩充[J];辽宁工业大学学报(自然科学版);2009年05期
15 李建华;试证模态方阵的科学性及其推演的有效性[J];湖南科技大学学报(社会科学版);1989年02期
16 姚从军;;互模拟在理论和实践中的应用[J];沈阳师范大学学报(社会科学版);2009年06期
17 裘江杰;;模态逻辑典范框架的生成子框架[J];逻辑学研究;2009年04期
18 姚从军;;互模拟的含义、特征及主要应用[J];重庆理工大学学报(社会科学);2010年02期
19 张力锋;;论模态柏拉图主义[J];科学技术与辩证法;2006年06期
20 史璟;;论模态逻辑的集合论语义[J];逻辑学研究;2009年04期
中国重要会议论文全文数据库 前4条
1 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年
2 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年
3 潘天群;;建立在“笛卡尔公理”上的一个怀疑逻辑系统[A];逻辑与认知学术研讨会会议论文集[C];2004年
4 高思存;;一个刻画n叉有限树的模态系统及其应用[A];2005年逻辑研究专辑[C];2005年
中国博士学位论文全文数据库 前4条
1 史璟;非良基集与模态逻辑[D];南开大学;2009年
2 张力锋;模态逻辑和本质主义[D];北京大学;2004年
3 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年
4 马亮;论卡尔纳普的意义理论[D];中国社会科学院研究生院;2003年
中国硕士学位论文全文数据库 前10条
1 聂成丽;奎因与模态逻辑的发展[D];苏州大学;2009年
2 陈珊;核证逻辑研究[D];中国社会科学院研究生院;2011年
3 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年
4 陈辉辉;试析克里普克的本质主义[D];西南大学;2009年
5 段景瑶;三种逻辑代数的等价刻画和模糊模态逻辑[D];陕西师范大学;2008年
6 白玮;可能世界视域下的本质主义理论研究[D];燕山大学;2012年
7 何雄就;“偶然”逻辑特性的研究[D];南京大学;2011年
8 徐晔翀;论可能世界语义学中的个体跨界的同一性问题[D];华东师范大学;2010年
9 唐静;多主体下动态偏好逻辑初探[D];西南大学;2010年
10 蒋正峰;逆向归纳悖论研究[D];华南师范大学;2003年
中国重要报纸全文数据库 前1条
1 陈慕泽;多主体系统中的互知[N];光明日报;2000年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978