德米特里·斯科沃尔佐夫 关于具有常数域的有限高度Kripke框架的超直觉谓词逻辑的一点注记:一个更简单的非强完备Kripke-完备逻辑。 (英语) Zbl 1418.03132号 Bezhanishvili,Guram(编辑)等人,《模态逻辑的进展》。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:学院出版物。577-590 (2018).MSC公司:03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},in:模态逻辑的进展。第12卷。第十二届会议记录(AiML 2018),瑞士伯尔尼,2018年8月27日至31日。伦敦:学院出版物。577--590(2018;Zbl 1418.03132)
德米特里·斯科沃尔佐夫 关于等式(或不等式)超直觉谓词逻辑函子语义的一个特殊性的注记。 (英语) Zbl 1291.03043号 托马斯·博兰德(编辑)等人,《模态逻辑的进展》。第9卷。第九届会议记录(AiML 2012),丹麦哥本哈根,2012年8月22日至25日。伦敦:学院出版物(ISBN 978-1-84890-068-4/pbk)。483-493 (2012).MSC公司:03B55号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},in:模态逻辑的进展。第9卷。第九届会议记录(AiML 2012),丹麦哥本哈根,2012年8月22日至25日。伦敦:学院出版物。483--493(2012年;Zbl 1291.03043)
德米特里·斯科沃尔佐夫 一些具有弱常域原理的超直觉谓词逻辑的Kripke层完备性。 (英语) Zbl 1258.03031号 螺柱日志。 100,编号1-2,361-383(2012). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},螺柱日志。100,编号1--2361--383(2012;Zbl 1258.03031) 全文: 内政部
德米特里·斯科沃尔佐夫 关于具有常数域和嵌套域的Kripke框架的超直觉谓词逻辑的一点注记。 (英语) Zbl 1273.03087号 J.日志。计算。 21,第4期,697-713(2011).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},J.Log(J·洛格)。计算。21,第4号,697--713(2011;Zbl 1273.03087) 全文: 内政部
德米特里·斯科沃尔佐夫 关于命题克里普克的评论为直觉主义逻辑提供了框架。 (英语) Zbl 1254.03017号 Beklemishev,Lev(编辑)等人,《模态逻辑的进展》。第8卷。第八届会议记录(AiML 2010),俄罗斯莫斯科,2010年8月24日至27日。伦敦:学院出版物(ISBN 978-1-84890-013-4)。392-410 (2010).MSC公司:03B20型 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},in:模态逻辑的进展。第8卷。第八届会议记录(AiML 2010),俄罗斯莫斯科,2010年8月24-27日。伦敦:学院出版物。392-410(2010年;兹比尔1254.03017)
德米特里·斯科沃尔佐夫 关于某些类有充分基础和对偶有充分基础的Kripke框架的超直觉谓词逻辑的非公理化。 (英语) Zbl 1118.03018号 J.日志。计算。 16,第5期,685-695(2006).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},J.Log(J·洛格)。计算。16,第5号,685--695(2006;Zbl 1118.03018) 全文: 内政部
德米特里·斯科沃尔佐夫 关于线性Kripke框架的谓词逻辑及其一些扩展。 (英语) Zbl 1092.03013号 螺柱日志。 81,第2期,261-282(2005). 审核人:Mohammad Ardeshir(德黑兰) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},螺柱日志。81,第2号,261--282(2005;Zbl 1092.03013) 全文: 内政部
德米特里·斯科沃尔佐夫 关于一些有限Kripke框架的中间谓词逻辑。一: 水平均匀的树。 (英语) Zbl 1073.03013号 螺柱日志。 77,第3期,295-323(2004). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},螺柱日志。77,第3号,295--323(2004;Zbl 1073.03013) 全文: 内政部
斯科沃尔佐夫,D。 中间命题逻辑谓词扩展的不完全性结果。 (英语) Zbl 1115.03019号 Balbiani,Philippe(编辑)等人,《模态逻辑的进展》。第4卷。2002年10月在法国图卢兹举行的第四次会议(AiML 2002)论文选集。伦敦:国王学院出版物(ISBN 0-9543006-1-0/pbk;0-9543006-2-9/hbk)。461-474 (2003). 审核人:Mohammad Ardeshir(德黑兰) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},in:模态逻辑的进展。第4卷。2002年10月在法国图卢兹举行的第四届会议(AiML 2002)的论文选集。伦敦:国王学院出版。461--474(2003年;Zbl 1115.03019)
斯科沃尔佐夫,D。 关于一些中间谓词逻辑之间逻辑连续的存在性。 (英语) Zbl 0963.03043号 螺柱日志。 64,第2期,257-270(2000). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},螺柱日志。64,第2号,257--270(2000;Zbl 0963.03043) 全文: 内政部
德米特里·斯科沃尔佐夫 并非每个“表格”谓词逻辑都是有限公理化的。 (英语) Zbl 0920.03038号 螺柱日志。 59,第3期,387-396(1997). 审核人:V.Shekhtman(莫斯科) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},螺柱日志。59,第3号,387--396(1997;Zbl 0920.03038) 全文: 内政部
季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里季米特里 关于中间谓词逻辑的有限交集。 (英语) 兹伯利0882.03022 Ursini,Aldo(编辑)等人,《逻辑与代数》。纪念罗伯托·马加里国际会议记录,1994年4月26日至30日,意大利蓬蒂尼亚诺。纽约州纽约市:马塞尔·德克尔。莱克特。Notes纯应用。数学。180, 667-688 (1996). 审核人:V.Shekhtman(莫斯科) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov},莱克特。Notes纯应用。数学。180、667--688(1996年;Zbl 0882.03022)
斯科沃尔佐夫,D.P。;谢赫特曼,V.B。 模态谓词逻辑和超直觉谓词逻辑的最大克里普克类型语义。 (英语) Zbl 0794.03028号 Ann.纯粹应用。逻辑 63,第1期,69-101(1993). 审核人:O.Sonobe(福洛妮卡) MSC公司:03B45号 03B55号 03C90号 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Skvortsov}和\textit{V.B.Shekhtman},Ann.Pure Appl。逻辑63,No.1,69--101(1993;Zbl 0794.03028) 全文: 内政部
瓦伦丁·谢赫特曼;德米特里·斯科沃尔佐夫 非经典一阶谓词逻辑的语义。 (英语) Zbl 0788.03022号 数理逻辑,程序。夏季计划。Conf.Ded.公司。第90届安尼夫。Arend Heyting,柴卡/巴尔格。1988, 105-116 (1990). 审核人:V.谢赫特曼(莫斯科) MSC公司:03B45号 03B55号 03C90号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{V.Shekhtman}和\textit{D.Skvortsov},in:数理逻辑。1988年9月13日至23日在保加利亚柴卡举行的纪念阿伦德·海廷(Arend Heyting,1898-1980)诞辰90周年暑期学校和会议记录。纽约:Plenum出版社。105-116(1990年;Zbl 0788.03022)