编辑配置文件（在新选项卡中打开） 帕维尔·G·瑙莫夫。 合著者距离 作者ID： naumov.航行-g 发布日期： 帕维尔·瑙莫夫;P.G.诺莫夫。;帕维尔·G·瑙莫夫。 更多。。。较少的 外部链接： MGP公司·ORCID公司·维基数据 编入索引的文档： 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证明翻译。正式互操作性的实用方法。 兹比尔1005.68542 帕维尔·瑙莫夫;马克·奥利弗·斯特尔;何塞·梅塞盖尔 11 2001 秘密集的独立关系。 Zbl 1246.03055号 Miner More，萨拉;帕维尔·瑙莫夫 10 2009 我们一起知道如何实现：知识的认知逻辑（扩展抽象）。 Zbl 1483.03011号 帕维尔·瑙莫夫;陶，贾 9 2017 秘密集的独立关系。 兹比尔1197.03015 Miner More，萨拉;帕维尔·瑙莫夫 8 2010 协作网络中的秘密逻辑。 Zbl 1241.03012号 Miner More，萨拉;帕维尔·瑙莫夫 6 2011 有向非循环图上的信息流。 Zbl 1326.68208号 唐德斯，迈克尔;Miner More，萨拉;帕维尔·瑙莫夫 6 2011 不确定性下的知识。 Zbl 1478.03027号 帕维尔·瑙莫夫;陶，贾 6 2019 多方秘密的超图。 Zbl 1286.68422号 Miner More，萨拉;帕维尔·瑙莫夫 5 2010 秘密超图上的函数依赖关系。 Zbl 1348.68265号 Miner More，萨拉;帕维尔·瑙莫夫 5 2011 合理的功能依赖性。 Zbl 1305.91046号 帕维尔·瑙莫夫;布列塔尼·尼科尔斯 5 2014 关于协议隐私的合作演算和基于游戏的推理。 Zbl 1351.68168号 Miner More，萨拉;帕维尔·瑙莫夫 4 2012 Geiger-Paz-Pearl独立公理的并发语义。 Zbl 1247.68191号 Miner More，萨拉;帕维尔·瑙莫夫;本杰明·萨普 4 2011 每个人都知道有人知道：量词胜过认知主体。 Zbl 07063891号 帕维尔·瑙莫夫;陶，贾 4 2019 演绎闭包的模态逻辑。 Zbl 1104.03012号 帕维尔·瑙莫夫 三 2006 Geiger-Paz-Pearl独立公理的博弈语义。 Zbl 1298.91052号 帕维尔·瑙莫夫;布列塔尼·尼科尔斯 三 2011 多方秘密的超图。 Zbl 1238.68156号 Miner More，萨拉;帕维尔·瑙莫夫 三 2011 自信的逻辑。 兹比尔1357.03049 帕维尔·瑙莫夫;陶，贾 三 2015 营销对社交网络传播的影响。 Zbl 1358.91086号 帕维尔·瑙莫夫;陶，贾 三 2017 应受责备的认知逻辑。 Zbl 1435.03037号 帕维尔·瑙莫夫;陶，贾 三 2020 信息空间的独立性。 Zbl 1268.03035号 帕维尔·瑙莫夫 三 2012 子类型的逻辑。 Zbl 1094.03020号 帕维尔·瑙莫夫 2 2006 隐私的代价。 Zbl 1442.68240号 帕维尔·瑙莫夫;陶，贾 2 2017 多层次战略博弈中纳什均衡的互换性。 Zbl 1302.91012号 帕维尔·瑙莫夫;布列塔尼·尼科尔斯 2 2013 关于部分递归函数的模态逻辑。 Zbl 1097.03016号 帕维尔·瑙莫夫 2 2005 战略游戏中的智慧。 Zbl 1519.68290号 帕维尔·瑙莫夫;元，元 2 2021 社交网络传播的灯塔原则。 Zbl 1513.03077号 萨纳兹·阿齐米普尔;帕维尔·瑙莫夫 2 2018 模态逻辑在直觉谓词演算上的保守性。 Zbl 0784.03017号 P.G.诺莫夫。 1 1991 战略博弈中的功能依赖。 Zbl 1397.91020号 克里斯汀·哈杰斯;帕维尔·瑙莫夫 1 2016 信念形成网络中的容错。 Zbl 1361.68274号 萨拉·霍尔布鲁克;帕维尔·瑙莫夫 1 2012 数据信息知识和策略。 Zbl 1491.68247号 蒋俊丽;帕维尔·瑙莫夫 1 2022 阿姆斯特朗公理的公共知识语义。 兹比尔1429.68309 扎卡里·赫克尔;帕维尔·瑙莫夫 1 2014 战略性知识获取。 Zbl 1502.68284号 卡亚·德乌瑟;帕维尔·瑙莫夫 1 2021 在社交网络中与顽固的代理人进行传播。 Zbl 1444.03123号 佐埃·克里斯托夫;帕维尔·瑙莫夫 1 2019 社交网络中的群体整合。 兹比尔1435.91138 科尔比·莫里森;帕维尔·瑙莫夫 1 2020 具有中间约束的可导航性。 Zbl 1412.68281号 卡亚·德乌瑟;帕维尔·瑙莫夫 1 2018 细胞游戏、纳什均衡和斐波那契数。 Zbl 1405.68203号 克里斯汀·哈杰斯;帕维尔·瑙莫夫 1 2013 介数的公理化理论。 Zbl 1496.03033号 萨纳兹·阿齐米普尔;帕维尔·瑙莫夫 1 2021 知道成功的代价。 Zbl 1451.68291号 曹睿;帕维尔·瑙莫夫 1 2020 数据信息知识和策略。 Zbl 1491.68247号 姜俊丽;帕维尔·瑙莫夫 1 2022 战略游戏中的智慧。 Zbl 1519.68290号 帕维尔·瑙莫夫;元，元 2 2021 战略性知识获取。 Zbl 1502.68284号 卡亚·德乌瑟;帕维尔·瑙莫夫 1 2021 中间性公理理论。 Zbl 1496.03033号 萨纳兹·阿齐米普尔;帕维尔·瑙莫夫 1 2021 应受责备的认知逻辑。 Zbl 1435.03037号 帕维尔·瑙莫夫;陶，贾 三 2020 社交网络中的群体整合。 Zbl 1435.91138号 科尔比·莫里森;帕维尔·瑙莫夫 1 2020 知道成功的代价。 Zbl 1451.68291号 曹睿;帕维尔·瑙莫夫 1 2020 不确定性下的知识。 Zbl 1478.03027号 帕维尔·瑙莫夫;陶，贾 6 2019 每个人都知道有人知道：量词胜过认知主体。 Zbl 07063891号 帕维尔·瑙莫夫;陶，贾 4 2019 在社交网络中与顽固的代理人进行传播。 兹比尔1444.03123 佐埃·克里斯托夫;帕维尔·瑙莫夫 1 2019 我们一起知道如何实现：知识的认知逻辑。 Zbl 1454.03025号 帕维尔·瑙莫夫;陶，贾 16 2018 社交网络传播的灯塔原则。 Zbl 1513.03077号 萨纳兹·阿齐米普尔;帕维尔·瑙莫夫 2 2018 具有中间约束的可导航性。 Zbl 1412.68281号 卡亚·德乌瑟;帕维尔·瑙莫夫 1 2018 我们一起知道如何实现：知识的认知逻辑（扩展抽象）。 兹比尔1483.03011 帕维尔·瑙莫夫;陶，贾 9 2017 营销对社交网络传播的影响。 Zbl 1358.91086号 帕维尔·瑙莫夫;陶，贾 三 2017 隐私的代价。 Zbl 1442.68240号 帕维尔·瑙莫夫;陶，贾 2 2017 战略博弈中的功能依赖。 Zbl 1397.91020号 Kristine哈吉斯;帕维尔·瑙莫夫 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 关于协议隐私的合作演算和基于游戏的推理。 Zbl 1351.68168号 Miner More，萨拉;帕维尔·瑙莫夫 4 2012 信息空间的独立性。 Zbl 1268.03035号 帕维尔·瑙莫夫 三 2012 信念形成网络中的容错。 Zbl 1361.68274号 萨拉·霍尔布鲁克;帕维尔·瑙莫夫 1 2012 协作网络中的秘密逻辑。 兹比尔1241.03012 Miner More，萨拉;帕维尔·瑙莫夫 6 2011 有向非循环图上的信息流。 Zbl 1326.68208号 迈克尔·唐德斯;Miner More，萨拉;帕维尔·瑙莫夫 6 2011 秘密超图上的函数依赖关系。 兹比尔1348.68265 Miner More，萨拉;帕维尔·瑙莫夫 5 2011 Geiger-Paz-Pearl独立公理的并发语义。 Zbl 1247.68191号 Miner More，萨拉;帕维尔·瑙莫夫;本杰明·萨普 4 2011 Geiger-Paz-Pearl独立公理的游戏语义。 兹比尔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 模态逻辑在直觉谓词演算上的保守性。 兹比尔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 拉米雷斯·阿巴卡（Aldo Iván 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 伊戈尔·塞德拉尔 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 Sādhanā 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中.