文件大小：0.62 MB 18页
一阶逻辑中的绑定形式
作者
-
部分： 体积： 第24届EACSL计算机科学逻辑年会（CSL 2015）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2015-09-07
文件
文件标识符
DOI（操作界面）： 10.4230/LIPIcs公司。 CSL.2015.648号文件 URN: 恩：恩：恩：德：0030-drops-54443
引用为 获取BibTex
摘要
关键词
一阶逻辑 可决定碎片 可满足性 模型检查
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
S.Abiteboul、R.Hull和V.Vianu。 数据库基础。 Addison-Wesley，1995年。 
-
R.Alur、T.A.Henzinger和O.Kupferman。 交替时间时序逻辑。 JACM，49（5）：672-7132002年。
-
H.Andréka、J.van Benthem和I.Németi。 模态语言和谓词逻辑的有界片段。 喷气推进实验室，27（3）：217-2741998。
-
V.Bárány、M.Benedikt和B.ten Cate。 重写保护否定查询。 在MFCS’13中，LNCS 8087，第98-110页。 施普林格，2013年。
-
V.Bárány、G.Gottlob和M.Otto。 查询守护碎片。 在LICS’10中，第1-10页。 IEEE计算机学会，2010年。
-
V.Bárány、B.ten Cate和M.Otto。 带保护否定的查询。 PVLDB，5（11）：1328-13392012年。
-
V.Bárány、B.ten Cate和L.Segoufin。 保护性否定。 在ICALP’11中，LNCS 6756，第356-367页。 施普林格，2011年。
-
M.Ben-Ari，《计算机科学的数学逻辑》（第三版）。 施普林格，2012年。
-
D.Berwanger和E.Grädel。 保护逻辑的游戏和模型检查。 LPAR’01，LNCS 2250，第70-84页。 斯普林格，2001年。
-
E.Börger公司。 谓词逻辑中的决策问题。 在LC’82中，第112卷，第263-301页。 Elsevier，1984年。
-
E.Börger、E.Grädel和Y.Gurevich。 经典决策问题。 施普林格，1997年。
-
K.Chatterjee、T.A.Henzinger和N.Piterman。 战略逻辑。 2007年CONCUR，LNCS 4703，第59-73页。 施普林格，2007年。
-
E.F.代码。 大型共享数据库的数据关系模型。 CACM，13（6）：377-3871970年。
-
E.F.代码。 数据库子语言的关系完整性。 DS，第65-98页，1972年。
-
H.-D.Ebbinghaus和J.Flum。 有限模型理论。 斯普林格，1995年。
-
R.Fagin和M.Y.Vardi。 数据依赖理论综述。 MIP，1972年，34:19-71。
-
E.弗雷德金。 尝试内存。 CACM，3（9）：490-4991960年。
-
E.Goncalves和E.Grädel。 行动保护逻辑的可决策性问题。 在DL'00中，第123-132页，2000年。
-
E.希腊。 防护逻辑的决策程序。 在CADE’99中，LNCS 1632，第31-51页。 施普林格，1999年。
-
E.格拉德尔。 论卫兵的约束力。 JSL，64（4）：1719-17421999。
-
E.希腊。 为什么模态逻辑如此稳健地可决定？ 在CTTCS’01中，第393-408页。 《世界科学》，2001年。
-
E.希腊。 守恒不动点逻辑与可数树的一元理论。 TCS，288（1）：129-1522002年。
-
E.希腊。 一阶和定点逻辑的可判定片断。 2003年KWLCS’03。
-
E.Grädel、P.G.Kolaitis和M.Y.Vardi。 二元一阶逻辑的决策问题。 BSL，3（1）：53-691997年。
-
E.Grädel和I.Walukiewicz。 保护定点逻辑。 在LICS’99中，第45-54页。 IEEE计算机学会，1999年。
-
Lauri Hella和A.Kuusisto。 一阶逻辑的一维片段。 在AIML’14中，第274-293页。 大学出版物，2014年。
-
D.希尔伯特和W.阿克曼。 Grundzüge der Theoretischen Logik公司。 Die Grundlehren der Mathematischen Wissenschaften公司。 斯普林格，1928年。
-
I.霍德金森。 一阶逻辑的松散保护片断具有有限模型性质。 SL，70（2）：205-2402002。
-
E.胡格兰和M.马克思。 保护碎片中的插值和可定义性。 SL，70（3）：373-4092002年。
-
N.伊梅尔曼。 量词的数量优于磁带单元的数量。 JCSS，22（3）：384-4061981年。
-
N.伊曼。 多项式时间可计算的关系查询（扩展摘要）。 在STOC'82中，第147-152页。 计算机协会，1982年。
-
N.伊梅尔曼。 可在多项式时间内计算的关系查询。 IC，68（1-3）：86-1041986年。
-
N.伊梅尔曼。 描述性复杂性。 施普林格，1999年。
-
E.Kieronski和A.Kuusisto。 具有等式的统一一维片段的复杂性和表达性。 在MFCS’14中，LNCS 8634，第365-376页。 斯普林格，2014年。
-
Löwenheim先生。 Relativekalkül的U ber Möglichkeiten。 马萨诸塞州，76（4）：447-4701915。
-
F.Mogavero、A.Murano、G.Perelli和M.Y.Vardi。 关于策略的推理：关于可满足性问题。 提交中。
-
F.Mogavero、A.Murano、G.Perelli和M.Y.Vardi。 是什么决定了\ATLS？ 战略逻辑的一个决定性片段。 2012年CONCUR，LNCS 7454，第193-208页。 施普林格，2012年。
-
F.Mogavero、A.Murano、G.Perelli和M.Y.Vardi。 关于策略的推理：关于模型检验问题。 TOCL，15（4）：34:1-422014年。
-
F.Mogavero、A.Murano和M.Y.Vardi。 战略推理。 FSTTCS’10，LIPIcs 8，第133-144页。 莱布尼茨-中央情报局，2010年。
-
莫蒂默先生。 关于双变量语言。 MLQ，21（1）:135-1401975年。
-
A.一。 Chase过程及其在数据交换中的应用。 在数据交换、集成和流中。， 第1-37页。 莱布尼茨-中央情报局，2013年。
-
W.C.珀迪。 长笛逻辑的复杂性和趣味性。 SL，71（2）：177-1982002年。
-
W.C.珀迪。 一阶片段的不可表达性。 AJL，2006年4月1日-12日。
-
W.V.奎因。 变量解释离开。 PAPS，104（3），1960年。
-
I.赛因。 贝思和克雷格在代数逻辑中通过同态化和合并的性质。 在ALUACS’88中，LNCS 425，第209-225页。 斯普林格，1990年。
-
S.Schewe。 \ATLS可满足性是2ExpTime-Complete。 在ICALP’08中，LNCS 5126，第373-385页。 施普林格，2008年。
-
S.Schewe和B.Finkbeiner。 交替时间微积分的可满足性和有限模型性质。 CSL’06，第591-605页。 斯普林格，2006年。
-
S.G.辛普森。 希尔伯特程序的部分实现。 JSL，53（2）：349-3631988年。
-
B.ten Cate和L.Segoufin。 一元否定。 在STACS’11，LIPIcs 9，第344-355页。 莱布尼茨-中央情报局，2011年。
-
B.ten Cate和L.Segoufin。 一元否定。 LMCS，9（3）：1-462013年。
-
J.D.乌尔曼。 数据库系统原理。 计算机科学出版社，1982年。
-
J.van Benthem。 动态钻头和工件。 荷兰阿姆斯特丹阿姆斯特丹大学技术报告，1997年。
-
J.van Benthem。 两种格式塔中的模态逻辑。 在AIML'98中，第91-118页。 CSLI出版物，2000年。
-
D.范达伦。 《逻辑与结构》（第三版）。 Universitext公司。 斯普林格，1994年。
-
M.Y.瓦尔迪。 关系查询语言的复杂性（扩展抽象）。 在STOC'82中，第137-146页。 计算机协会，1982年。
-
M.Y.瓦尔迪。 关于有界变量查询的复杂性。 1995年PODS，第266-276页。 计算机协会，1995年。
-
M.Y.瓦尔迪。 为什么模态逻辑如此稳健地可决定？ 在DCFM’96中，第149-184页。 美国数学学会，1996年。
-
D.Walther、C.Lutz、F.Wolter和M.Wooldridge。 \ATL可满足性确实是ExpTime-Complete。 JLC，16（6）：765-7872006年。