文件大小：0.55 MB 21页
直到等价的依赖概念
作者
-
部分： 体积： 第27届EACSL计算机科学逻辑年会（CSL 2018）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2018-08-29
文件
文件标识符
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→逻辑
关键词
依赖与独立的逻辑 团队语义 存在二阶逻辑 观测等效性 表达能力
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
参考文献
-
A.Blass和Y.Gurevich。 汉金量词和完整问题。 《纯粹逻辑与应用逻辑年鉴》，32:1-161986年。 
-
H.恩德顿。 有限偏序量词。 Z.数学。 Logik，16:393-3971970年。
-
F.Engström。 依赖逻辑中的广义量词。 《逻辑、语言与信息杂志》，2012年。
-
S.Abramsky等人，编辑。 依赖逻辑。 理论与应用。 Birkhäuser，2016年。
-
P.加利亚尼。 团队语义中的包含和排除——关于不完美信息的一些逻辑。 《纯粹逻辑与应用逻辑年鉴》，163:68-842012年。
-
P.加利亚尼和L.海拉。 包含逻辑和定点逻辑。 《计算机科学逻辑2013》，第281-295页，2013年。
-
E.希腊。 包含逻辑和定点逻辑的游戏。 S.Abramsky等人，《依赖逻辑》编辑。 理论与应用。 Birkhäuser，2016年。
-
E.Grädel和J.Vänänen。 依赖和独立。 Studia Logica，101（2）：399-4102013年。
-
L.亨金。 关于无穷长公式的一些注记。 《符号逻辑杂志》，第167-183页，1961年。
-
J.Hintikka和G.Sandu。 信息独立是一种语义现象。 《逻辑和数学基础研究》，第126卷，第571-589页。 北荷兰，1989年。
-
W·霍奇斯。 不完全信息逻辑的合成语义。 《IGPL逻辑杂志》，5:539-5631997年。
-
J.Kontinen和J.Väänänen。 依赖逻辑中的可定义性。 《逻辑、语言与信息杂志》，18:317-2412009年。
-
A.Mann、G.Sandu和M.Sevenster。 独立性友好逻辑。 《博弈论方法》，伦敦数学学会讲义系列第386卷。 剑桥大学出版社，2012年。
-
Rönnholm先生。 用k元包含排除逻辑捕获k元存在二阶逻辑。 Ann.纯粹应用。 逻辑，169（3）：177-2152018。
-
J.Väänänen。 依赖逻辑：独立友好逻辑的新方法，第70卷。 剑桥大学出版社，2007年。
-
W.Walkoe。 有限的部分有序量化。 符号逻辑期刊，35:535-5551970。