谢尔盖·N·阿特莫夫
人员信息
附属: 美国纽约州纽约市纽约城市大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [公元36年] 谢尔盖·阿尔特莫夫 :
走向句法认识逻辑。 芬丹。 信息学 186 ( 1-4 ) : 45-62 ( 2022 ) [j35] 谢尔盖·阿特莫夫 , 阿尼尔·内罗德 :
编辑。 J.日志。 计算。 32 ( 8 ) : 1486 ( 2022 ) [电子9] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学的逻辑基础-国际研讨会,LFCS 2022,美国佛罗里达州迪尔菲尔德海滩,2022年1月10日至13日,会议记录。 计算机科学课堂讲稿 13137, 施普林格 2022 ,国际标准图书编号 978-3-030-93099-8 [目录] [i2] 谢尔盖·阿特莫夫 :
走向句法认识逻辑。 CoRR公司 abs/2205.13145 ( 2022 ) 2021 [j34] 瓦莱丽亚·德佩瓦 , 谢尔盖·阿特莫夫 :
《启蒙模态逻辑2017》序言。 拍打 8 ( 8 ) : 2261-2264 ( 2021 ) [公元33年] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
编辑。 J.日志。 计算。 31 ( 1 ) : 1 ( 2021 ) 2020 [公元32年] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学逻辑基础专刊。 J.日志。 计算。 30 ( 1 ) : 1 ( 2020 ) [公元31年] 谢尔盖·N·阿特莫夫 :
关于聚合概率证据。 J.日志。 计算。 30 ( 1 ) : 61-76 ( 2020 ) 【j30】 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
编辑。 J.日志。 计算。 30 ( 8 ) : 1429 ( 2020 ) [公元29年] 谢尔盖·N·阿特莫夫 :
合理化意识。 J.日志。 计算。 30 ( 8 ) : 1431-1446 ( 2020 ) [公元22年] 谢尔盖·N·阿特莫夫 :
可观测模型。 LFCS公司 2020 : 12-26 [电子8] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学的逻辑基础-国际研讨会,LFCS 2020,美国佛罗里达州迪尔菲尔德海滩,2020年1月4日至7日,会议记录。 计算机科学课堂讲稿 11972, 施普林格 2020 ,国际标准图书编号 978-3-030-36754-1 [目录]
2010 – 2019
2018 【c21】 谢尔盖·N·阿特莫夫 :
理由认知模型。 LFCS公司 2018 : 22-36 [e7] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学的逻辑基础-国际研讨会,2018年LFCS,美国佛罗里达州迪尔菲尔德海滩,2018年1月8日至11日,会议记录。 计算机科学课堂讲稿 10703, 施普林格 2018 ,国际标准图书编号 978-3-319-72055-5 [目录] 2017 [i1] 谢尔盖·N·阿特莫夫 :
有理由的认识建模。 CoRR公司 abs/1703.07028 ( 2017 ) 2016 [公元28年] 谢尔盖·N·阿特莫夫 , 塔蒂亚娜·亚沃斯卡娅 :
具有约束力的方式。 J.日志。 计算。 26 ( 1 ) : 451-461 ( 2016 ) [公元27年] 谢尔盖·N·阿特莫夫 , 都铎-普罗托波佩斯库 :
直觉主义认识逻辑。 版本符号。 日志。 9 ( 2 ) : 266-298 ( 2016 ) [公元20年] 谢尔盖·N·阿特莫夫 :
关于聚合概率证据。 LFCS公司 2016 : 27-42 [电子6] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
2016年1月4日至7日,美国佛罗里达州迪尔菲尔德海滩,2016年LFCS,计算机科学逻辑基础国际研讨会。 诉讼程序。 计算机科学课堂讲稿 9537, 施普林格 2016 ,国际标准图书编号 978-3-319-27682-3 [目录] 2014 [公元26年] 谢尔盖·N·阿特莫夫 , 罗曼·库兹涅茨 :
逻辑全知是不可行的。 Ann.纯粹应用。 日志。 165 ( 1 ) : 6-25 ( 2014 ) [第2页] 谢尔盖·N·阿特莫夫 :
论战略博弈的最终解决方案。 约翰·范·本特姆论逻辑和信息动力学 2014 : 487-507 2013 [公元25年] 谢尔盖·N·阿特莫夫 , 都铎-普罗托波佩斯库 :
发现可知性:语义分析。 合成。 190 ( 16 ) : 3349-3376 ( 2013 ) [电子5] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
2013年1月6日至8日,美国加利福尼亚州圣地亚哥,2013年LFCS国际研讨会,计算机科学逻辑基础。 诉讼程序。 计算机科学课堂讲稿 7734, 施普林格 2013 ,国际标准图书编号 978-3-642-35721-3 [目录] 2012 [公元24年] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
前言。 Ann.纯粹应用。 日志。 163 ( 7 ) : 743-744 ( 2012 ) [公元23年] 谢尔盖·N·阿特莫夫 :
逻辑环境中的正当性本体论。 Stud Logica公司 100 ( 1-2 ) : 17-30 ( 2012 ) 2010 [公元22年] 谢尔盖·N·阿特莫夫 , 尤里·马蒂亚塞维奇 , 格里戈里造币厂 , 阿纳托尔·斯利森科 :
前言。 Ann.纯粹应用。 日志。 162 ( 三 ) : 173-174 ( 2010 ) [公元21年] 谢尔盖·N·阿特莫夫 , 沃尔克·迪克特 , 迪马·格里戈里耶夫 :
前言。 理论计算。 系统。 46 ( 1 ) : 1 ( 2010 ) [公元20年] 谢尔盖·N·阿特莫夫 , 沃尔克·迪克特 , 亚历山大·拉兹博罗夫 :
前言。 理论计算。 系统。 46 ( 4 ) : 619 ( 2010 ) [第19条] 谢尔盖·N·阿特莫夫 :
跟踪证据。 逻辑与计算领域 2010 : 61-74
2000 – 2009
2009 [公元19年] 谢尔盖·N·阿特莫夫 :
前言。 Ann.纯粹应用。 日志。 161 ( 2 ) : 119-120 ( 2009 ) [公元18年] 谢尔盖·N·阿特莫夫 :
前言。 Ann.纯粹应用。 日志。 161 ( 三 ) : 251-252 ( 2009 ) [第18条] 谢尔盖·N·阿特莫夫 , 罗曼·库兹涅茨 :
逻辑全知是一个计算复杂性问题。 TARK(目标) 2009 : 14-23 [电子4] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学逻辑基础,国际研讨会,2009年LFCS,美国佛罗里达州迪尔菲尔德海滩,2009年1月3日至6日。 诉讼程序。 计算机科学课堂讲稿 5407, 施普林格 2009 ,国际标准图书编号 978-3-540-92686-3 [目录] 2008 [公元17年] 谢尔盖·N·阿特莫夫 , 沃尔克·迪克特 , 迪马·格里戈里耶夫 :
前言。 理论计算。 系统。 43 ( 2 ) : 99 ( 2008 ) [公元16年] 谢尔盖·N·阿特莫夫 :
辩护的逻辑。 版本符号。 日志。 1 ( 4 ) : 477-513 ( 2008 ) [第17条] 谢尔盖·N·阿特莫夫 :
证明的对称逻辑。 计算机科学支柱 2008 : 58-71 [第16条] 谢尔盖·N·阿特莫夫 , 埃琳娜·诺吉纳 :
证明逻辑的拓扑语义。 企业社会责任 2008 : 30-39 [第15条] 谢尔盖·N·阿特莫夫 :
理由逻辑。 杰莉亚 2008 : 1-4 2007 [j15] 谢尔盖·N·阿特莫夫 , 罗莎莉·伊姆霍夫 :
证明的基本直觉逻辑。 J.塞姆。 日志。 72 ( 2 ) : 439-451 ( 2007 ) [第14条] 谢尔盖·N·阿特莫夫 , 爱德华多·博内利 :
内涵兰姆达微积分。 LFCS公司 2007 : 12-25 [第1页] 谢尔盖·N·阿特莫夫 :
数学中的模态逻辑。 模态逻辑手册 2007 : 927-969 [电子3] 谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学的逻辑基础,国际研讨会,2007年LFCS,美国纽约州纽约市,2007年6月4-7日,会议记录。 计算机科学课堂讲稿 4514, 施普林格 2007 ,国际标准图书编号 978-3-540-72732-3 [目录] 2006 [公元14年] 尤里·马蒂亚塞维奇 , 谢尔盖·N·阿特莫夫 :
前言。 Ann.纯粹应用。 日志。 141 ( 三 ) : 307 ( 2006 ) [j13] 谢尔盖·N·阿特莫夫 , 迈克尔·米斯洛夫 :
前言。 理论。 计算。 科学。 357 ( 1-3 ) : 1-3 ( 2006 ) [公元12年] 谢尔盖·N·阿特莫夫 :
合理的常识。 理论。 计算。 科学。 357 ( 1-3 ) : 4-22 ( 2006 ) [第13条] 谢尔盖·N·阿特莫夫 , 罗曼·库兹涅茨 :
通过证明复杂性实现逻辑全能。 CSL公司 2006 : 135-149 2005 [j11] 鲁伊·J·G·B·德·奎罗斯 , 布鲁诺·波扎特 , 谢尔盖·N·阿特莫夫 :
WoLLIC’2002年。 Ann.纯粹应用。 日志。 134 ( 1 ) : 1-4 ( 2005 ) [j10] 谢尔盖·N·阿特莫夫 , 埃琳娜·诺吉纳 :
将证明引入认识逻辑。 J.日志。 计算。 15 ( 6 ) : 1059-1073 ( 2005 ) [第12条] 谢尔盖·N·阿特莫夫 :
模态逻辑的存在语义。 我们将向他们展示! (1) 2005 : 19-30 [第11条] 谢尔盖·N·阿特莫夫 , 埃琳娜·诺吉纳 :
论具有正当性的认识逻辑。 TARK(目标) 2005 : 279-294 [电子2] 谢尔盖·N·阿特莫夫 , 霍华德·巴林格 , 阿图尔·达维拉·加塞斯 , 路易斯·兰姆 , 约翰·伍兹 :
我们将向他们展示! Dov Gabbay荣誉论文,第一卷。 学院出版物 2005 ,国际标准图书编号 1-904987-25-7 [目录] [电子1] 谢尔盖·N·阿特莫夫 , 霍华德·巴林格 , 阿图尔·达维拉·加塞斯 , 路易斯·兰姆 , 约翰·伍兹 :
我们将向他们展示! 《纪念Dov Gabbay的论文》,第二卷。 学院出版物 2005 ,国际标准图书编号 1-904987-26-5 [目录] 2004 [公元9年] 佐菲亚·阿达莫维奇 , 谢尔盖·N·阿特莫夫 , 达米安·尼文斯基 , 埃瓦·奥洛夫斯卡 , 安娜·B·罗曼诺夫斯卡 , 让·渥伦斯基 :
编辑。 Ann.纯粹应用。 日志。 126 ( 1-3 ) : 3-4 ( 2004 ) 2003 [第10条] 谢尔盖·N·阿特莫夫 :
回到未来:计算机科学的显式逻辑(受邀演讲)。 CSL公司 2003 : 43 2001 [j8] 谢尔盖·N·阿特莫夫 :
显式可证明性和构造性语义。 牛市。 符号。 日志。 7 ( 1 ) : 1-36 ( 2001 ) 【c9】 杰西·阿尔特 , 谢尔盖·N·阿特莫夫 :
反射式lambda微积分。 计算机科学中的证明理论 2001 : 22-37
1990 – 1999
1999 [j7] 谢尔盖·N·阿特莫夫 :
用证明多项式实现直觉逻辑。 J.应用。 非班级。 逻辑 9 ( 2-3 ) : 285-301 ( 1999 ) 【c8】 谢尔盖·N·阿特莫夫 :
关于定理证明和形式验证中的显式反射。 CADE公司 1999 : 267-281 【c7】 谢尔盖·N·阿特莫夫 :
直觉逻辑、情态和lambda-terms的一致可证明实现。 可实现性语义和 应用@FLoC 1999 : 3-12 1998 【c6】 谢尔盖·N·阿特莫夫 :
可通过模态逻辑指定的证明操作。 模态逻辑的进展 1998 : 59-72 1997 【c5】 谢尔盖·N·阿特莫夫 , 詹妮弗·达沃伦 , 阿尼尔·内罗德 :
混合系统的拓扑语义。 LFCS公司 1997 : 1-8 1996 [j6] 谢尔盖·N·阿特莫夫 , 弗拉基米尔·克鲁普斯基 :
标记模态逻辑的数据存储解释。 Ann.纯粹应用。 日志。 78 ( 1-3 ) : 57-71 ( 1996 ) 1995 [j5] 谢尔盖·N·阿特莫夫 , 布鲁斯 , 欧文·恩格勒 , 所罗门·费弗曼 , 格哈德·贾格尔 , 阿尔伯特·维瑟 :
前言:1994年3月20日至24日,瑞士伯尔尼,《证明理论、可证明逻辑和计算会议论文专刊》。 Ann.纯粹应用。 日志。 75 ( 1-2 ) : 1 ( 1995 ) 1994 【j4】 谢尔盖·N·阿特莫夫 :
证明逻辑。 Ann.纯粹应用。 日志。 67 ( 1-3 ) : 29-59 ( 1994 ) [j3] 谢尔盖·N·阿特莫夫 , 佛朗科·蒙塔格纳 :
关于带可证明算子的一阶理论。 J.塞姆。 日志。 59 ( 4 ) : 1139-1153 ( 1994 ) 【c4】 谢尔盖·N·阿特莫夫 , 弗拉基米尔·克鲁普西 :
参考数据结构和标记模态逻辑。 LFCS公司 1994 : 23-33 1993 [注2] 谢尔盖·N·阿特莫夫 , 列夫·贝克列米舍夫 :
论可证明逻辑中的命题量词。 圣母院J.正式日志。 34 ( 三 ) : 401-419 ( 1993 ) 【c3】 谢尔盖·N·阿特莫夫 , Tyko Straßen公司 :
哥德尔证明谓词的逻辑。 库尔特·哥德尔座谈会 1993 : 71-82 1992 【c2】 谢尔盖·N·阿特莫夫 , Tyko Straßen公司 :
证明的基本逻辑。 CSL公司 1992 : 14-28 1990 [j1] 谢尔盖·N·阿特莫夫 , 乔治·扎帕里泽 :
有限克里普克模型和可证明谓词逻辑。 J.塞姆。 日志。 55 ( 三 ) : 1090-1098 ( 1990 ) [c1] 谢尔盖·N·阿特莫夫 :
科尔莫戈洛夫的问题逻辑和直觉主义逻辑的可证明性解释。 防水布 1990 : 257-272
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)