苏曼神经节;尼禄,阿尼尔 模态逻辑的有效完备性定理。 (英语) Zbl 1056.03008号 Ann.纯粹应用。逻辑 128,编号1-3,141-195(2004). 研究模态逻辑的可计算模型理论。特别地,他们证明了模态逻辑的每一个可判定理论都有一个Kripke模型,它既是局部可判定的,也是全局可判定的。对于一些特殊的一阶模态逻辑,证明了这个有效的完备性定理。为此,作者开发了一种有效构建克里普克模型的技术,这类似于著名的亨金方法。审核人:Marat M.Arslanov(喀山) 引用于4文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 03C57 可计算结构理论 03B25号 理论和句子集的可决定性 关键词:模态逻辑;可计算模型理论;克里普克模型;可判定理论 PDF格式BibTeX公司 XML格式引用 \textit{S.Ganguli}和\textit{A.Nerode},Ann.Pure Appl。逻辑128,No.1-3,141--195(2004;Zbl 1056.03008) 全文: 内政部 参考文献: [1] Chellas,B.,模态逻辑(1980),剑桥大学出版社:剑桥大学出版社纽约·Zbl 0431.03009号 [2] 于。L.Ershov,S.S.Goncharov,A.Nerode,J.B.Remmel(编辑),《递归数学手册》,Elsevier,阿姆斯特丹,1998年。;于。L.Ershov,S.S.Goncharov,A.Nerode,J.B.Remmel(编辑),《递归数学手册》,Elsevier,阿姆斯特丹,1998年·Zbl 0930.03037号 [3] Fitting,M.,《模态和直觉主义逻辑的证明方法》(1983),Reidel:Reidel Boston·Zbl 0523.03013号 [4] 配件,M。;Mendelsohn,R.,一阶模态逻辑(1998),Kluwer:Kluwer-Boston·Zbl 1025.03001号 [5] S.Ganguli,模态逻辑的有效完备性定理,博士论文,康奈尔大学,伊萨卡,纽约,2001。;S.Ganguli,模态逻辑的有效完备性定理,博士论文,康奈尔大学,伊萨卡,纽约,2001年。 [6] Garson,J.W.,《模态逻辑中的量化》(Gabbay,D.;Guenther,F.,《哲学逻辑手册》(1985),Reidel:Reidel Boston)·Zbl 0205.30401号 [7] Harizanov,V.,《纯可计算模型理论》(Ershov,Yu.L.;Goncharov,S.S.;Nerode,A.;Remmel,J.B.,《递归数学手册》(1998),Elsevier:Elsevier Amsterdam)·Zbl 0952.03037号 [8] 休斯,G.E。;Cresswell,M.J.,《模态逻辑新导论》(1996),《劳特利奇:纽约劳特利吉》·Zbl 0855.0302号 [9] 石原慎太郎。;库萨诺夫,B。;Nerode,A.,《直觉主义理论的可判定克里普克模型》,Ann.Pure Appl。逻辑,93,115-123(1998)·Zbl 0924.03060号 [10] Nerode,A。;Shore,R.,《应用逻辑》(1997),Springer:Springer New York·Zbl 0874.03004号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。