斯坦尼斯拉夫·斯佩兰斯基
人员信息
附属: 俄罗斯圣彼得堡州立大学
优化列表
2020年–今天
2023 [j13] 斯蒂芬·库兹涅佐夫 , 斯坦尼斯拉夫·斯佩兰斯基 :
具有多路复用的无限动作逻辑。 Stud Logica公司 111 ( 2 ) : 251-280 ( 2023 ) 2022 [公元12年] 斯蒂芬·库兹涅佐夫 , 斯坦尼斯拉夫·斯佩兰斯基 :
带指数运算的无限动作逻辑。 Ann.纯粹应用。 日志。 173 ( 2 ) : 103057 ( 2022 ) 2021 [公元11年] 斯坦尼斯拉夫·斯佩兰斯基 :
否定是量化环境中的一种形式。 J.日志。 计算。 31 ( 5 ) : 1330-1355 ( 2021 ) 2020 [公元10年] 谢尔盖·奥丁佐夫 , 斯坦尼斯拉夫·斯佩兰斯基 :
Belnap-Dunn模态逻辑:真值常量与真值。 版本符号。 日志。 13 ( 2 ) : 416-435 ( 2020 ) [i1] 斯蒂芬·库兹涅佐夫 , 斯坦尼斯拉夫·斯佩兰斯基 :
具有指数化的无限动作逻辑。 CoRR公司 abs/2001.06863 ( 2020 )
2010 – 2019
2019 [公元9年] 利昂·霍斯顿 , 斯坦尼斯拉夫·斯佩兰斯基 :
从卡纳皮亚的角度推理任意自然数。 J.菲洛斯。 日志。 48 ( 4 ) : 685-707 ( 2019 ) 2018 [j8] 谢尔盖·奥丁佐夫 , 斯坦尼斯拉夫·斯佩兰斯基 , 伊戈尔·舍甫琴科 :
辛提卡的独立友好逻辑符合纳尔逊的现实性。 Stud Logica公司 106 ( 三 ) : 637-670 ( 2018 ) 2017 [j7] 斯坦尼斯拉夫·斯佩兰斯基 :
概率逻辑中事件的量化:简介。 数学。 结构。 计算。 科学。 27 ( 8 ) : 1581-1600 ( 2017 ) [j6] 斯坦尼斯拉夫·斯佩兰斯基 :
克里普克真理理论计算方面的注释。 Stud Logica公司 105 ( 2 ) : 407-429 ( 2017 ) 2016 [j5] 斯坦尼斯拉夫·斯佩兰斯基 :
关于遗传∏10-和∑10-完备句子集的注记。 J.日志。 计算。 26 ( 5 ) : 1729-1741 ( 2016 ) 2015 【j4】 斯坦尼斯拉夫·斯佩兰斯基 :
一元二阶算法的一些新结果。 计算。 4 ( 2 ) : 159-174 ( 2015 ) 2013 [j3] 斯坦尼斯拉夫·斯佩兰斯基 :
关于带有自由一元谓词的算术片段中的可定义性的注释。 架构(architecture)。 数学。 日志。 52 ( 5-6 ) : 507-516 ( 2013 ) [注2] 斯坦尼斯拉夫·斯佩兰斯基 :
命题上带有量词的概率逻辑的复杂性。 J.日志。 计算。 23 ( 5 ) : 1035-1055 ( 2013 ) [j1] 谢尔盖·奥丁佐夫 , 斯坦尼斯拉夫·斯佩兰斯基 :
多结果标准格式中自适应逻辑的可计算性问题。 Stud Logica公司 101 ( 6 ) : 1237-1262 ( 2013 )