劳伦斯·莫斯。 Coalgebraic逻辑。 (英语) Zbl 0969.03026号 Ann.纯粹应用。逻辑 96,编号1-3,277-317(1999); 勘误表同上,第99号,第1-3、241-259(1999年)。 本文的出发点是无穷模态逻辑的特征定理,指出克里普克模型中的两点满足相同的无穷模态公式,前提是它们是双相似的;此外,每一种共刺激类型都是由一个公式决定的[巴维斯和L.S.莫斯《恶性循环》(CSLI Lect.Notes 60),CSLI,斯坦福大学(1996;Zbl 0865.03002号)].余代数逻辑是无限模态逻辑的推广。这种逻辑是由具有某些性质的集上的函子决定的;公式用该函子的余代数来解释。协同逻辑概括了模态逻辑以及过渡系统的各种逻辑[J.J.M.M.鲁顿,“过渡系统演算:走向普适余代数”,载于:A.Ponse,M.de Rijke,Y.Venema(eds.),模态逻辑和过程代数:互模拟视角,CSLI Lect。附注53、231-256(1995年;Zbl 0943.68508号)].本文介绍了一种代数逻辑的语义,并证明了“最小F逻辑”的稳健性(完备性仍然是一个悬而未决的问题)。此外,还证明了刻画结果和一个表示定理,表明每个最终的F-余代数都可以从具有完全半格序的F-代数中提取出来。审核人:V.Shekhtman(莫斯科) 引用于6评论引用于82文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 03G30型 分类逻辑,拓扑 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:无限模态逻辑;特征定理;互模拟;集合上的函子;联合布拉格;最大不动点;过渡系统 引文:Zbl 0865.03002号;Zbl 0943.68508号 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Moss},Ann.纯粹应用。《逻辑学》96,No.1--3,277--317(1999);勘误表同上,第99号,第1--3、241--259(1999;Zbl 0969.03026) 全文: 内政部 参考文献: [1] Aczel,P.,《非健康基础集》,(CSLI课堂讲稿编号,第14卷(1988年),CSLI出版物:CSLI出版社,斯坦福大学)·Zbl 0668.04001号 [2] Aczel,P。;Mendler,N.,《最后的余代数定理》(Pitt,D.H.等,范畴理论与计算机科学(1989),Springer:Springer-Hidelberg),357-365·Zbl 1496.03206号 [3] S.Aliyari,个人通信。1997年9月24日的电子邮件。;S.Aliyari,个人通信。1997年9月24日的电子邮件。 [4] Baltag,A.,Alexandru,集和Kripke模型的模态表征(1996),印第安纳大学,未出版手稿 [5] Barr,M.,《建立良好的集合论中的终端余代数》,Theoret。计算。科学。,114, 2, 299-315 (1993) ·Zbl 0779.18004号 [6] Barr,M.,“基础完备的集合理论中的终端余代数”的加法和修正,Theoret。计算。科学。,124, 1, 189-192 (1994) ·Zbl 0788.18001号 [7] 布鲁特,R。;Desharnais,J。;Edalat,A。;Panangaden,P.,标记Markov过程的双向模拟,(1997年CSI会议记录,1997年CSI.会议记录,技术报告(1996年),金砖国家:金砖国家丹麦奥胡斯),论文也将出现在 [8] Barwise,J。;Moss,L.S.,《邪恶的圈子》,CSLI第60号出版物(1996年),斯坦福·Zbl 0865.03002号 [9] Barwise,J。;Moss,L.S.,模型的模态对应,(Dekker,P.;Stokhof,M.,第十届阿姆斯特丹学术讨论会会议记录,ILLC/阿姆斯特丹大学哲学系(1996)),41-56 [10] van Benthem,J.,模态对应理论,(阿姆斯特丹大学数学系博士论文(1976年))·Zbl 0308.02023号 [11] Corradini,A.,《一种完整的数学演算,在coalebraic规范中进行方程式推导》(技术报告(1997),CWI:CWI阿姆斯特丹)·Zbl 0903.08007号 [12] 费金,R.,《模态逻辑的定量分析》,J.符号逻辑,59,1209-252(1994)·Zbl 0806.03017号 [13] Gerbrandy,J.,互模拟和有界互模拟的特征,(de Rijke,M.,《观察等价和逻辑等价研讨会程序》,欧洲逻辑、语言和信息暑期学校,《观察等效和逻辑等价讲习班程序》,布拉格欧洲逻辑、语文和信息暑期学校(1996)) [14] Larsen,K.G。;Skou,A.,通过概率测试的相互模拟,Inform。计算。,94, 1-28 (1991) ·Zbl 0756.68035号 [15] 莫斯,L.S。;Danner,N.,《基于共词的基础》,《逻辑学J.IGPL》,第5、3、231-257页(1997年)·Zbl 0872.03030号 [16] 米斯洛夫,M.W。;莫斯,L.S。;Oles,F.J.,作为理想不动点建模的非well-found集,Inform Compute。,93, 1, 16-54 (1991) ·Zbl 0723.03031号 [17] Paulson,L.,ZF集理论的一个具体的最终余代数定理,(Dybjer,P.;Nordstrom,B.;Smith,J.,《证明和程序的类型》94。证明和程序类型’94,计算机科学讲义,第995卷(1995),施普林格:施普林格柏林),120-139·Zbl 0866.00037号 [18] Rutten,J.J.M.M.,《过渡系统演算:走向普适余代数》,(Ponsc,A.;de Rijke,M.;Venema,Y.,《模态逻辑和过程代数:一个双模拟视角》,《CSLI课堂讲稿》,第53卷(1995),斯坦福·Zbl 0951.68038号 [19] Rutten,J.J.M.M.,《通用余代数:系统理论》(CWI报告CS-R9652(1996),CWI计算机科学部:CWI阿姆斯特丹计算机科学部)·Zbl 0951.68038号 [20] Turi,D.,功能操作语义及其指称对偶,(博士论文(1976),CWI:CWI阿姆斯特丹) [21] Turi,D。;Rutten,J.J.M.M.,《最终语义的基础:非标准集,度量空间》。偏序,(de Bakker,J.W.;de Roever,W.-P;Rozenberg,G.,Proc.REX Semantics Workshop on Semantics:Foundations and Applications。Proc.REX Semantics Workshop on Semantics:Foundations and Applications,《计算机科学讲义》,第666卷(1993),施普林格:施普林格柏林),477-530,一篇同名论文的修订版 [22] 德文克,E.P。;Rutten,J.J.M.M.,《概率转移系统的双向模拟:一种联合方法》(Degano,P.;Gorrieri,R.;Marchetti-Spaccamela,a.,Proc.24th ICALP’97(1997),Springer:Springer Berlin),460-4701256·Zbl 0930.68092号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。