编辑配置文件（在新选项卡中打开） 帕维尔·G·瑙莫夫。 合著者距离 作者ID： naumov.航行-g 发布日期： 帕维尔·瑙莫夫；P.G.诺莫夫。；帕维尔·G·瑙莫夫。 更多。。。较少的 外部链接： MGP公司·逆戟鲸·维基数据 已编制索引的文档： 66出版物自1991年以来，包括5份额外的arXiv预印本 合著者： 27位合著者具有56联合出版物 481位联合作者 全部的 前5名合著者 10 单作者的 15 陶，贾 9 Miner More，萨拉 4 卡亚·德乌瑟 三 克里斯汀·哈杰斯 三 杰弗里·凯恩 三 布列塔尼·尼科尔斯 2 萨纳兹·阿齐米普尔 2 曹睿 2 姜俊丽 2 玛格丽特·普罗兹曼 2 意大利西蒙内利 1 利亚·博佐内 1 佐埃·克里斯托夫 1 迈克尔·唐德斯（Michael S.Donders）。 1 扎卡里·赫克尔 1 萨拉·霍尔布鲁克 1 索菲亚·奈特 1 何塞·梅塞盖尔·瓜伊塔 1 科尔比·莫里森 1 安娜·奥夫钦尼科娃 1 凯文·罗斯 1 本杰明·萨普 1 史，齐 1 马克·奥利弗·斯特尔 1 维加桑·桑塔拉吉 1 元，元 1 张文轩 全部的 前5名系列 9 逻辑与计算杂志 6 人工智能 4 纯逻辑与应用逻辑年鉴 三 莫斯科大学数学通报 三 Studia Logica公司 三 合成 三 数学逻辑档案 三 ACM计算逻辑事务 2 哲学逻辑杂志 2 应用逻辑杂志 1 圣母院形式逻辑杂志 1 理论计算机科学 1 维斯特尼克·莫斯科斯科戈大学。塞里亚·马特马提卡（Seriya I.Matematika，Mekhanika） 1 逻辑、语言与信息杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 国际博弈论综述 1 符号逻辑述评 1 应用逻辑期刊-IfCoLog逻辑期刊及其应用 全部的 前5名领域 46 数理逻辑与基础（03-XX） 28 计算机科学（68至XX） 19 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 4 组合数学（05-XX） 三 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 数论（11-XX） 1 群论与推广（20-XX） 1 几何图形（51至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物有被引用144中的次66文件 引用人▼ 年份▼ 我们一起知道如何实现：知识的认知逻辑。 Zbl 1454.03025号 帕维尔·瑙莫夫；陶，贾 16 2018 HOL/NuPRL证明翻译。正式互操作性的实用方法。 Zbl 1005.68542号 帕维尔·瑙莫夫；马克·奥利弗·斯特尔；何塞·梅塞盖尔 11 2001 秘密集的独立关系。 Zbl 1246.03055号 Miner More，萨拉；帕维尔·瑙莫夫 10 2009 我们一起知道如何实现：知识的认知逻辑（扩展抽象）。 Zbl 1483.03011号 帕维尔·瑙莫夫；陶，贾 9 2017 秘密集的独立关系。 Zbl 1197.03015号 Miner More，萨拉；帕维尔·瑙莫夫 8 2010 有向非循环图上的信息流。 Zbl 1326.68208号 迈克尔·唐德斯；Miner More，萨拉；帕维尔·瑙莫夫 6 2011 协作网络中的秘密逻辑。 Zbl 1241.03012号 Miner More，萨拉；帕维尔·瑙莫夫 6 2011 不确定性下的知识。 Zbl 1478.03027号 帕维尔·瑙莫夫；陶，贾 6 2019 秘密超图上的函数依赖关系。 Zbl 1348.68265号 Miner More，萨拉；帕维尔·瑙莫夫 5 2011 合理的功能依赖性。 Zbl 1305.91046号 帕维尔·瑙莫夫；布列塔尼·尼科尔斯 5 2014 多方秘密的超图。 Zbl 1286.68422号 Miner More，萨拉；帕维尔·瑙莫夫 5 2010 Geiger-Paz-Pearl独立公理的并发语义。 Zbl 1247.68191号 Miner More，萨拉；帕维尔·瑙莫夫；本杰明·萨普 4 2011 每个人都知道有人知道：量词胜过认知主体。 兹伯利07063891 帕维尔·瑙莫夫；陶，贾 4 2019 合作微积分和基于游戏的协议隐私推理。 兹比尔1351.68168 Miner More，萨拉；帕维尔·瑙莫夫 4 2012 演绎闭包的模态逻辑。 Zbl 1104.03012号 帕维尔·瑙莫夫 三 2006 Geiger-Paz-Pearl独立公理的游戏语义。 Zbl 1298.91052号 帕维尔·瑙莫夫；布列塔尼·尼科尔斯 三 2011 多方秘密的超图。 Zbl 1238.68156号 Miner More，萨拉；帕维尔·瑙莫夫 三 2011 信息空间的独立性。 Zbl 1268.03035号 帕维尔·瑙莫夫 三 2012 应受责备的认知逻辑。 Zbl 1435.03037号 帕维尔·瑙莫夫；陶，贾 三 2020 营销对社交网络传播的影响。 Zbl 1358.91086号 帕维尔·瑙莫夫；陶，贾 三 2017 自信的逻辑。 Zbl 1357.03049号 帕维尔·瑙莫夫；陶，贾 三 2015 战略游戏中的智慧。 Zbl 1519.68290号 帕维尔·瑙莫夫；元，元 2 2021 关于部分递归函数的模态逻辑。 Zbl 1097.03016号 帕维尔·瑙莫夫 2 2005 子类型的逻辑。 Zbl 1094.03020号 帕维尔·瑙莫夫 2 2006 社交网络传播的灯塔原则。 Zbl 1513.03077号 萨纳兹·阿齐米普尔；帕维尔·瑙莫夫 2 2018 多层次战略博弈中纳什均衡的互换性。 Zbl 1302.91012号 帕维尔·瑙莫夫；布列塔尼·尼科尔斯 2 2013 隐私的代价。 Zbl 1442.68240号 帕维尔·瑙莫夫；陶，贾 2 2017 模态逻辑在直觉谓词演算上的保守性。 Zbl 0784.03017号 P.G.诺莫夫。 1 1991 信念形成网络中的容错。 Zbl 1361.68274号 萨拉·霍尔布鲁克；帕维尔·瑙莫夫 1 2012 细胞游戏、纳什均衡和斐波那契数。 Zbl 1405.68203号 Kristine哈吉斯；帕维尔·瑙莫夫 1 2013 社交网络中的群体一致性。 兹比尔1435.91138 科尔比·莫里森；帕维尔·瑙莫夫 1 2020 阿姆斯特朗公理的公共知识语义。 Zbl 1429.68309号 扎卡里·赫克尔；帕维尔·瑙莫夫 1 2014 知道成功的代价。 Zbl 1451.68291号 曹睿；帕维尔·瑙莫夫 1 2020 具有中间约束的可导航性。 Zbl 1412.68281号 卡亚·德乌瑟；帕维尔·瑙莫夫 1 2018 在社交网络中与顽固的代理人进行传播。 Zbl 1444.03123号 佐埃·克里斯托夫；帕维尔·瑙莫夫 1 2019 中间性公理理论。 Zbl 1496.03033号 萨纳兹·阿齐米普尔；帕维尔·瑙莫夫 1 2021 战略博弈中的功能依赖。 Zbl 1397.91020号 克里斯汀·哈杰斯；帕维尔·瑙莫夫 1 2016 战略性知识获取。 Zbl 1502.68284号 卡亚·德乌瑟；帕维尔·瑙莫夫 1 2021 数据信息知识和策略。 Zbl 1491.68247号 姜俊丽；帕维尔·瑙莫夫 1 2022 数据信息知识和策略。 Zbl 1491.68247号 姜俊丽；帕维尔·瑙莫夫 1 2022 战略游戏中的智慧。 Zbl 1519.68290号 帕维尔·瑙莫夫；元，元 2 2021 中间性公理理论。 Zbl 1496.03033号 萨纳兹·阿齐米普尔；帕维尔·瑙莫夫 1 2021 战略性知识获取。 Zbl 1502.68284号 卡亚·德乌瑟；帕维尔·瑙莫夫 1 2021 应受责备的认知逻辑。 Zbl 1435.03037号 帕维尔·瑙莫夫；陶，贾 三 2020 社交网络中的群体整合。 Zbl 1435.91138号 科尔比·莫里森；帕维尔·瑙莫夫 1 2020 知道成功的代价。 兹比尔1451.68291 曹睿；帕维尔·瑙莫夫 1 2020 不确定性下的知识。 Zbl 1478.03027号 帕维尔·瑙莫夫；陶，贾 6 2019 每个人都知道有人知道：量词胜过认知主体。 Zbl 07063891号 帕维尔·瑙莫夫；陶，贾 4 2019 在社交网络中与顽固的代理人进行传播。 Zbl 1444.03123号 佐埃·克里斯托夫；帕维尔·瑙莫夫 1 2019 我们一起知道如何实现：知识的认知逻辑。 Zbl 1454.03025号 帕维尔·瑙莫夫；陶，贾 16 2018 社交网络传播的灯塔原则。 Zbl 1513.03077号 萨纳兹·阿齐米普尔；帕维尔·瑙莫夫 2 2018 具有中间约束的可导航性。 Zbl 1412.68281号 卡亚·德乌瑟；帕维尔·瑙莫夫 1 2018 我们一起知道如何实现：知识的认知逻辑（扩展抽象）。 Zbl 1483.03011号 帕维尔·瑙莫夫；陶，贾 9 2017 营销对社交网络传播的影响。 Zbl 1358.91086号 帕维尔·瑙莫夫；陶，贾 三 2017 隐私的代价。 Zbl 1442.68240号 帕维尔·瑙莫夫；陶，贾 2 2017 战略博弈中的功能依赖。 Zbl 1397.91020号 克里斯汀·哈杰斯；帕维尔·瑙莫夫 1 2016 自信的逻辑。 Zbl 1357.03049号 帕维尔·瑙莫夫；陶，贾 三 2015 合理的功能依赖性。 Zbl 1305.91046号 帕维尔·瑙莫夫；布列塔尼·尼科尔斯 5 2014 阿姆斯特朗公理的公共知识语义。 Zbl 1429.68309号 扎卡里·赫克尔；帕维尔·瑙莫夫 1 2014 多层次战略博弈中纳什均衡的互换性。 Zbl 1302.91012号 帕维尔·瑙莫夫；布列塔尼·尼科尔斯 2 2013 细胞游戏、纳什均衡和斐波那契数。 Zbl 1405.68203号 克里斯汀·哈杰斯；帕维尔·瑙莫夫 1 2013 关于协议隐私的合作演算和基于游戏的推理。 兹比尔1351.68168 Miner More，萨拉；帕维尔·瑙莫夫 4 2012 信息空间的独立性。 兹比尔1268.03035 帕维尔·瑙莫夫 三 2012 信念形成网络中的容错。 Zbl 1361.68274号 萨拉·霍尔布鲁克；帕维尔·瑙莫夫 1 2012 有向非循环图上的信息流。 Zbl 1326.68208号 迈克尔·唐德斯；Miner More，萨拉；帕维尔·瑙莫夫 6 2011 协作网络中的秘密逻辑。 Zbl 1241.03012号 Miner More，萨拉；帕维尔·瑙莫夫 6 2011 秘密超图上的函数依赖关系。 Zbl 1348.68265号 Miner More，萨拉；帕维尔·瑙莫夫 5 2011 Geiger-Paz-Pearl独立公理的并发语义。 Zbl 1247.68191号 Miner More，萨拉；帕维尔·瑙莫夫；本杰明·萨普 4 2011 Geiger-Paz-Pearl独立公理的游戏语义。 Zbl 1298.91052号 帕维尔·瑙莫夫；布列塔尼·尼科尔斯 三 2011 多方秘密的超图。 Zbl 1238.68156号 Miner More，萨拉；帕维尔·瑙莫夫 三 2011 秘密集的独立关系。 Zbl 1197.03015号 Miner More，萨拉；帕维尔·瑙莫夫 8 2010 多方秘密的超图。 Zbl 1286.68422号 Miner More，萨拉；帕维尔·瑙莫夫 5 2010 秘密集的独立关系。 Zbl 1246.03055号 Miner More，萨拉；帕维尔·瑙莫夫 10 2009 演绎闭包的模态逻辑。 Zbl 1104.03012号 帕维尔·瑙莫夫 三 2006 子类型的逻辑。 Zbl 1094.03020号 帕维尔·瑙莫夫 2 2006 关于部分递归函数的模态逻辑。 Zbl 1097.03016号 帕维尔·瑙莫夫 2 2005 HOL/NuPRL证明翻译。正式互操作性的实用方法。 Zbl 1005.68542号 帕维尔·瑙莫夫；马克·奥利弗·斯特尔；何塞·梅塞盖尔 11 2001 模态逻辑在直觉谓词演算上的保守性。 Zbl 0784.03017号 P.G.诺莫夫。 1 1991 所有引用的出版物 前5名被引用出版物 全部的 前5名68位作者引用 29 帕维尔·G·瑙莫夫。 8 陶，贾 6 弗洛里安·拉贝 6 王燕京 4 李彦军 4 Miner More，萨拉 三 迈克尔·科尔哈斯 三 布列塔尼·尼科尔斯 2 卡亚·德乌瑟 2 富利亚·霍罗扎尔 2 姜俊丽 2 塞萨里·卡利西克 2 杰弗里·凯恩 2 林克，塞巴斯蒂安 2 何塞·梅塞盖尔·瓜伊塔 2 Ramírez Abarca，阿尔多·伊万 1 安德烈亚斯·阿琴 1 阿齐米普尔，萨纳兹 1 爱德华多·巴奇尼 1 瓦夏克·贝勒 1 玛尔塔·比尔科娃 1 Csaba比罗 1 托马斯·博兰德 1 Broersen，Jan M。 1 曹睿 1 沃尔特·亚历山大·卡尼埃利 1 塞拉尼、塞尔吉奥·阿图罗 1 佐埃·克里斯托夫 1 马塞洛·埃斯特班（Marcelo Esteban Coniglio） 1 董惠民 1 劳尔·费尔瓦里 1 彼得罗·加利亚尼 1 马尔文·加廷格 1 Thibault Gauthier 1 瓦伦丁·F·戈兰科。 1 克里斯汀·哈杰斯 1 安德烈亚斯·赫齐格 1 萨拉·霍尔布鲁克 1 Ju、Fengkui 1 菲利普·肯纳伯格 1 维克托·伊万诺维奇（Viktor Ivanovich Korzyuk） 1 O.A.科夫纳茨卡亚。 1 杰诺·莱赫尔 1 李、徐 1 安德烈斯·奥奇芬蒂·利伯曼 1 马丁·奥列特，纳西索 1 科尔比·莫里森 1 穆勒，丹尼斯 1 伯恩哈德·内贝尔 1 阮广辉 1 Rasmus Krmmer Rendsvig 1 克劳迪奥·萨塞尔多蒂·科恩 1 Sedlár，伊戈尔 1 杰里米·塞利格曼。 1 斯里科夫，V.P。 1 Gennady Shtakser公司 1 戈萨托特 1 Väänänen，Jouko Antero 1 范·艾伊克（Jan van Eijck） 1 费尔南多·雷蒙多（Fernando Raymundo） 1 斯坦尼斯拉夫·沃尔科夫 1 王国军 1 魏瑜 1 弗里克·威迪杰克 1 杨元哲 1 元，元 1 张文轩 1 周鸿军 全部的 前5名22篇连载文章中引用 9 人工智能 5 纯逻辑与应用逻辑年鉴 4 Studia Logica公司 三 合成 三 理论计算机科学 三 应用逻辑杂志 2 哲学逻辑杂志 2 逻辑、语言与信息杂志 1 统计物理杂志 1 模糊集与系统 1 圣母院形式逻辑杂志 1 订单 1 自动推理杂志 1 数学逻辑档案 1 人工智能研究杂志 1 数学与人工智能年鉴 1 特鲁迪马特马提基研究所 1 逻辑与代数程序设计杂志 1 萨达纳 1 泛逻辑 1 符号逻辑述评 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在12个字段中引用 44 数理逻辑与基础（03-XX） 33 计算机科学（68至XX） 13 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 三 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 群论与推广（20-XX） 1 偏微分方程（35-XX） 1 几何图形（51至XX） 1 概率论与随机过程（60-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.