×
作者ID: 胜彦(sano.katsuhiko)“Sano,Katsuhiko”最近发表的zbMATH文章
发布日期: 胜彦三野
已编制索引的文档: 53出版物自2007年以来,包括1个附加arXiv预打印
合著者: 24位合著者具有43联合出版物
357位联合作者

按年份列出的出版物

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名

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 Krmmer Rendsvig
1 杰玛·罗伯斯
…还有35位作者

按年份列出的引文