编辑配置文件(在新选项卡中打开) 胜彦三野 合著者距离 作者ID: 胜彦(sano.katsuhiko) 发布日期: 胜彦三野 已编制索引的文档: 53出版物自2007年以来,包括1个附加arXiv预打印 合著者: 24位合著者具有43联合出版物 357位联合作者 全部的 前5名合著者 10 单作者的 7 马明辉 5 乔尼·维特玛 4 野村,Shoshin 4 苏佑安 三 鸠山由纪夫 三 塔德乌兹·利塔克 三 大森,Hitoshi 三 小野,Hiroakira 三 德克·帕丁森 三 高弘佐崎 三 约翰·G·斯特尔。 三 佐藤东条 2 Ryo Murai 2 卢茨·施罗德 2 朱利亚·辛多尼 2 山田,Tomoyuki 1 苏加塔·戈什 1 劳里·T·海拉。 1 科科·洛斯托 1 佐藤,肯塔罗 1 弗朗索瓦州施瓦岑特鲁伯 1 Masanobu Toyooka 1 费尔南多·雷蒙多(Fernando Raymundo) 1 山崎,坂子 全部的 前5名系列 5 逻辑与计算杂志 三 逻辑研究 1 圣母院形式逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 逻辑、语言与信息杂志 1 IGPL逻辑杂志 1 应用逻辑杂志 1 澳大利亚逻辑杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 字段 49 数学逻辑和基础(03-XX) 11 计算机科学(68至XX) 1 组合数学(05-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用143中的次104文件 引用人▼ 年份▼ 模态依赖逻辑的表达能力。 Zbl 1385.03018号 你好,劳里;科科·洛斯托;胜彦三野;乔尼·维特玛 21 2014 泛化Belnap-Dunn逻辑中的函数完整性。 Zbl 1376.03024号 大森,Hitoshi;胜彦三野 20 2015 一阶Belnap-Dunn逻辑的扩展。 Zbl 1342.03025号 胜彦三野;大森,Hitoshi 14 2014 公理化命题依赖逻辑。 Zbl 1434.03078号 胜彦三野;乔尼·维特玛 9 2015 达·科斯塔会见了贝尔纳普和纳尔逊。 Zbl 1347.03052号 大森,Hitoshi;胜彦三野 9 2014 用于查询逻辑的健全且完整的树序列演算。 Zbl 1246.03052号 胜彦三野 5 2009 术语序列模态逻辑。 Zbl 07160614号 Sawasaki、Takahiro;胜彦三野;山田,Tomoyuki 5 2019 通过通用形式表征团队语义中的框架可定义性。 Zbl 1465.03063号 胜彦三野;乔尼·维特玛 5 2015 如何更新邻域模型。 Zbl 1407.03021号 马明辉;胜彦三野 5 2013 一阶直觉主义认知逻辑。 Zbl 07160620号 苏佑安;胜彦三野 4 2019 协代数谓词逻辑。 Zbl 1433.03163号 塔德乌兹·利塔克;德克·帕丁森;胜彦三野;卢茨·施罗德 4 2012 混合反事实逻辑。大卫·刘易斯再次遇见亚瑟·普赖尔。 Zbl 1193.03055号 胜彦三野 4 2009 通过通用形式表征团队语义中的相对框架可定义性。 Zbl 1478.03041号 胜彦三野;乔尼·维特玛 三 2016 公理化混合产品。我们如何在混合逻辑中进行多维推理? Zbl 1215.03038号 胜彦三野 三 2010 一阶查询对逻辑。 Zbl 1303.03062号 胜彦三野 三 2010 分级模态语言的Goldblatt-Thomason型定理。 Zbl 1254.03038号 胜彦三野;马明辉 三 2010 联合谓词逻辑的模型理论和证明理论。 Zbl 1459.03104号 塔德乌兹·利塔克;德克·帕丁森;胜彦三野;卢茨·施罗德 2 2018 认知逻辑与分布式知识的克雷格插值。 Zbl 1496.03073号 Ryo Murai;胜彦三野 2 2020 直觉主义认识逻辑的无割分析序列演算。 Zbl 1505.03046号 苏佑安;胜彦三野 2 2020 公理化离散空间关系。 兹比尔1518.68367 朱利亚·辛多尼;胜彦三野;约翰·斯泰尔。 2 2018 Visser命题逻辑的替代语义。 Zbl 1326.03017号 胜彦三野;马明辉 2 2015 如何更新邻里模型。 Zbl 1444.03033号 马明辉;胜彦三野 2 2018 非自反和广义模态语言的语义特征。 Zbl 1131.03009号 胜彦三野;佐藤,肯塔罗 1 2007 避免根式疑问语义学中的不可能性定理。 Zbl 1429.03069号 胜彦三野 1 2015 修改公告逻辑的标记序列演算。 Zbl 1429.03066号 野村,Shoshin;胜彦三野;佐藤东条 1 2016 Term-sequence-dyadic道义逻辑。 Zbl 07655718号 高弘佐崎;胜彦三野 1 2021 基于信道的agent通信的动态认知逻辑。 Zbl 1303.03042号 胜彦三野;佐藤东条 1 2013 表aux表示非正常公告逻辑。 Zbl 1304.03047号 马明辉;胜彦三野;弗朗索瓦州施瓦岑特鲁伯;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 1 2015 关系变换器的构造性动态逻辑。 Zbl 07437020号 鸠山由纪夫;胜彦三野 1 2020 常识模态谓词逻辑中的框架可定义性、规范性和截消。 Zbl 07451573号 高弘佐崎;胜彦三野 1 2021 Goldblatt-Thomason——直觉主义好奇逻辑的风格刻画。 Zbl 07585732号 胜彦三野 1 2020 通过有界态射重新捕获关系变换器的动态逻辑。 Zbl 07339951号 鸠山由纪夫;胜彦三野 1 2021 通过树序列演算公理化友谊的认知逻辑。 Zbl 1495.03025号 胜彦三野 1 2017 直觉主义公告逻辑的标记序列演算。 兹比尔1471.03035 野村,Shoshin;胜彦三野;东条聪 1 2015 混合逻辑的广义乘积。 Zbl 1290.03006号 胜彦三野 1 2011 关于基本命题逻辑的扩展。 Zbl 1432.03017号 马明辉;胜彦三野 1 2015 Term-sequence-dyadic道义逻辑。 Zbl 07655718号 高弘佐崎;胜彦三野 1 2021 常识模态谓词逻辑中的框架可定义性、规范性和截消。 Zbl 07451573号 高弘佐崎;胜彦三野 1 2021 通过有界态射重新捕获关系变换器的动态逻辑。 Zbl 07339951号 鸠山由纪夫;胜彦三野 1 2021 认知逻辑与分布式知识的克雷格插值。 Zbl 1496.03073号 Ryo Murai;胜彦三野 2 2020 直觉主义认识逻辑的无割分析序列演算。 Zbl 1505.03046号 苏佑安;胜彦三野 2 2020 关系变换器的构造性动态逻辑。 Zbl 07437020号 鸠山由纪夫;胜彦三野 1 2020 Goldblatt-Thomason——直觉主义好奇逻辑的风格刻画。 Zbl 07585732号 胜彦三野 1 2020 终端序列模式逻辑。 Zbl 07160614号 高弘佐崎;胜彦三野;山田,Tomoyuki 5 2019 一阶直觉主义认知逻辑。 Zbl 07160620号 苏佑安;胜彦三野 4 2019 联合谓词逻辑的模型理论和证明理论。 Zbl 1459.03104号 塔德乌兹·利塔克;德克·帕丁森;胜彦三野;卢茨·施罗德 2 2018 离散空间关系的公理化。 Zbl 1518.68367号 朱利亚·辛多尼;胜彦三野;约翰·斯泰尔。 2 2018 如何更新邻里模型。 Zbl 1444.03033号 马明辉;胜彦三野 2 2018 通过树序列演算公理化友谊的认知逻辑。 Zbl 1495.03025号 胜彦三野 1 2017 通过通用形式表征团队语义中的相对框架可定义性。 Zbl 1478.03041号 胜彦三野;乔尼·维特玛 三 2016 修改公告逻辑的标记序列演算。 Zbl 1429.03066号 野村,Shoshin;胜彦三野;佐藤东条 1 2016 泛化Belnap-Dunn逻辑中的函数完整性。 Zbl 1376.03024号 大森,Hitoshi;胜彦三野 20 2015 公理化命题依赖逻辑。 Zbl 1434.03078号 胜彦三野;乔尼·维特玛 9 2015 通过通用形式表征团队语义中的框架可定义性。 Zbl 1465.03063号 胜彦三野;乔尼·维特玛 5 2015 维瑟命题逻辑的替代语义。 Zbl 1326.03017号 胜彦三野;马明辉 2 2015 避免根式疑问语义学中的不可能性定理。 Zbl 1429.03069号 胜彦三野 1 2015 表aux表示非正常公告逻辑。 Zbl 1304.03047号 马明辉;胜彦三野;弗朗索瓦州施瓦岑特鲁伯;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 1 2015 直觉主义公告逻辑的标记序列演算。 Zbl 1471.03035号 野村,Shoshin;胜彦三野;佐藤东条 1 2015 关于基本命题逻辑的扩展。 Zbl 1432.03017号 马明辉;胜彦三野 1 2015 模态依赖逻辑的表达能力。 Zbl 1385.03018号 你好,劳里;科科·洛斯托;胜彦三野;乔尼·维特玛 21 2014 一阶Belnap-Dunn逻辑的扩展。 Zbl 1342.03025号 胜彦三野;大森,Hitoshi 14 2014 达·科斯塔会见了贝尔纳普和纳尔逊。 Zbl 1347.03052号 大森,Hitoshi;胜彦三野 9 2014 如何更新社区模型。 Zbl 1407.03021号 马明辉;胜彦三野 5 2013 基于通道的代理通信的动态认知逻辑。 兹比尔1303.03042 胜彦三野;佐藤东条 1 2013 协代数谓词逻辑。 Zbl 1433.03163号 塔德乌兹·利塔克;德克·帕丁森;胜彦三野;卢茨·施罗德 4 2012 余代数混合逻辑的广义乘积。 Zbl 1290.03006号 胜彦三野 1 2011 公理化混合产品。我们如何在混合逻辑中进行多维推理? Zbl 1215.03038号 胜彦三野 三 2010 一阶查询对逻辑。 Zbl 1303.03062号 胜彦三野 三 2010 分级模态语言的Goldblatt-Thomason型定理。 Zbl 1254.03038号 胜彦三野;马明辉 三 2010 用于查询逻辑的健全且完整的树序列演算。 Zbl 1246.03052号 胜彦三野 5 2009 混合反事实逻辑。大卫·刘易斯再次遇见亚瑟·普赖尔。 Zbl 1193.03055号 胜彦三野 4 2009 非自反和广义模态语言的语义特征。 Zbl 1131.03009号 胜彦三野;佐藤,肯塔罗 1 2007 所有引用出版物 前5名被引用出版物 全部的 前5名135位作者引用 13 胜彦三野 7 乔尼·维特玛 6 Ivano A.Ciardelli。 6 大森,Hitoshi 6 杨,范 5 海因里希·西奥多 三 劳里·T·海拉。 三 马丁·吕克 三 Väänänen,Jouko Antero 三 汉斯·皮特·范·迪特马什 三 斯特凡·温斯坦 2 恩里克·安图内斯 2 吉姆·德·格罗特 2 Stéphane P.德姆里。 2 列奥尼德·尤尔埃维奇·德维亚特金 2 范洁 2 萨宾·弗里特拉 2 朱塞佩·格雷科 2 吉安卢卡·格里莱蒂 2 Miika Hannula公司 2 罗莎莉,伊姆霍夫 2 诺里希罗·卡米德 2 朱哈·科廷宁 2 安蒂·库西斯托 2 塔德乌兹·利塔克 2 雷因哈德·马斯肯斯(Reinhard A.Muskens)。 2 谢尔盖·奥丁佐夫。 2 亚历山德拉·帕尔米吉亚诺 2 潘奇阿,维特 2 弗洛里斯·罗洛夫森 2 苏佑安 2 赫里贝特·沃尔默 1 安德烈亚斯·阿琴 1 马提亚斯·巴兹 1 菲利普·巴尔比亚尼 1 福斯托·巴贝罗 1 贝内维特斯,马里奥·R·F·。 1 尼克·贝扎尼什维利 1 巴勃罗·卡巴列罗 1 费尔南多·卡诺·豪尔赫 1 沃尔特·亚历山大·卡尼埃利 1 马西米利亚诺·卡拉拉 1 伊曼纽尔·切姆拉 1 陈金生 1 佐埃·克里斯托夫 1 罗伯托·齐尼 1 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 1 威廉·康雷迪 1 迪克·乔恩。 1 迈克尔·德 1 Deters,摩根 1 安娜·德米特里娃 1 阿诺·杜兰德 1 约翰内斯·埃宾 1 保罗·埃格里 1 路易斯·埃斯特拉达·冈萨雷斯 1 托马斯·麦考利·弗格森 1 费尔南德斯·冈萨雷斯 1 吉多·菲奥里诺 1 彼得罗·加利亚尼 1 苏加塔·戈什 1 瓦伦丁·F·戈兰科。 1 诺伯特·格拉茨 1 奥列格·米哈·洛维奇·格里戈列夫 1 克里斯蒂安·哈格梅耶 1 延斯·乌尔里克·汉森 1 鸠山由纪夫 1 卫斯理·H·霍利迪。 1 劳埃德·亨伯斯通 1 安德烈亚斯·卡普斯纳 1 亚历山大·斯捷潘诺维奇 1 三野胜彦 1 多米尼克·柯斯特 1 索菲亚·奈特 1 Daniel Kozhemiachenko 1 奥里·拉哈夫 1 比约恩·莱尔曼 1 李大竹 1 安德烈斯·奥奇芬蒂·利伯曼 1 刘芬荣 1 彼得·洛曼 1 马明辉 1 阿恩·迈尔 1 何塞·梅恩德斯。 1 托马索·莫拉希尼 1 Ryo Murai 1 萨拉·内格里 1 牛顿,马奎斯·佩隆 1 野村,Shoshin 1 小野,Hiroakira 1 艾比克·厄兹根 1 阿南塔·帕德马纳巴 1 弗朗西斯科·保利 1 德克·帕丁森 1 雅罗斯拉夫·伊戈列维奇·彼得鲁金 1 马苏德普尔马迪安 1 亚当·佩恩索尔 1 拉马努贾姆,R。 1 Rasmus Krmmer Rendsvig 1 杰玛·罗伯斯 …还有35位作者 全部的 前5名25篇连载文章中引用 14 逻辑研究 7 纯逻辑与应用逻辑年鉴 5 哲学逻辑杂志 5 逻辑与逻辑哲学 5 符号逻辑述评 4 合成 4 应用非经典逻辑杂志 三 逻辑部分公告 三 逻辑、语言与信息杂志 2 自动推理杂志 2 应用逻辑杂志 2 泛逻辑 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 2 Logicheskie Issledovaniya公司 1 人工智能 1 代数普遍性 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 理论计算机科学 1 信息与计算 1 数学逻辑档案 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 欧洲数学杂志 全部的 前5名在6个字段中引用 100 数学逻辑和基础(03-XX) 21 计算机科学(68至XX) 三 总体主题;集合(00-XX) 2 阶、格、有序代数结构(06-XX) 1 组合数学(05-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文