编辑配置文件（在新选项卡中打开） 埃米利奥·穆尼奥斯·韦拉斯科 合著者距离 作者ID： 穆诺兹·韦拉斯科·埃米利奥 发布日期： 埃米利奥·穆尼奥斯·韦拉斯科；穆尼奥斯·韦拉斯科，E。 已编制索引的文档： 33出版物自2008年起 1作为编辑的贡献 审查活动： 7评论 合著者： 26位合著者具有34联合出版物 414合著作者 全部的 前5名合著者 0 单作者的 10 曼纽尔·奥杰达·阿西戈 9 圭多·西亚维科 8 阿尔弗雷多·布里耶扎 8 乔安娜·戈林斯卡·皮拉雷克 7 卡布雷拉（Inma P.Cabrera）。 7 巴勃罗·科德罗 6 大卫·布雷索林 三 佩雷斯·德古兹曼（Pérez de Guzmán），英马特拉达 三 安杰尔·莫拉 三 曼纽尔·奥杰达·亨南德斯 2 威廉·康拉迪 2 伯纳德·贝茨 2 黛拉·莫妮卡，达里奥 2 Stan、Ionel Eduard 1 恩里科·科米纳托 1 西蒙·格纳尼 1 塔内利Huuskonen 1 阿吉·库鲁茨 1 洛佩斯·罗德里格斯，多明戈 1 安琪尔·莫拉·波尼拉 1 安娜·奥扎基 1 佩莱格林，梅赛德斯 1 弗拉迪斯拉夫·里日科夫 1 皮埃特罗·萨拉 1 马丁·西奥博尔德 1 迈克尔·维克托洛维奇（Michael Viktorovich） 全部的 前5名系列 5 IGPL逻辑杂志 4 国际计算机数学杂志 三 模糊集与系统 1 人工智能 1 应用科学中的数学方法 1 信息科学 1 纯逻辑与应用逻辑年鉴 1 国际近似推理杂志 1 应用非经典逻辑杂志 1 数学逻辑季刊（MLQ） 1 国际不确定性、模糊性和基于知识的系统杂志 1 ACM计算逻辑汇刊 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 LIPIcs–莱布尼茨国际信息学会议录 领域 24 数学逻辑和基础（03-XX） 19 计算机科学（68至XX） 4 阶、格、有序代数结构（06-XX） 2 组合数学（05-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用55中的次30文件 引用人▼ 年份▼ Halpern-Shoham区间时间逻辑的角片段。 Zbl 1407.03029号 大卫·布雷索林；阿吉·库鲁茨；埃米利奥·穆尼奥斯·韦拉斯科；弗拉迪斯拉夫·里日科夫；圭多·西亚维科；扎卡里亚舍夫，迈克尔 8 2017 具有可忽略性、非接近性和距离的数量级定性推理逻辑的关系方法。 Zbl 1171.68043号 Golinska-Pilarek，J。；穆尼奥斯·韦拉斯科，E。 6 2009 艾伦关系的区间时间逻辑的次传播片段。 兹比尔1432.03028 大卫·布雷索林；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 6 2014 传递模糊有向图之间的关系Galois联系。 Zbl 1446.06006号 卡布雷拉（Inma P.Cabrera）。；巴勃罗·科德罗；埃米利奥·穆尼奥斯·韦拉斯科；曼纽尔·奥杰达·阿西戈；伯纳德·贝茨 5 2020 关于粗区间时序逻辑。 Zbl 1480.03010号 埃米利奥·穆尼奥斯·韦拉斯科；佩莱格林，梅赛德斯；皮埃特罗·萨拉；圭多·西亚维科；Stan、Ionel Eduard 4 2019 具有双向可忽略性的数量级定性推理的多模态逻辑的对偶表。 Zbl 1181.03018号 Golińska Pilarek，J。；穆尼奥斯·韦拉斯科，E。 三 2009 泛化了函数时态（times）模态逻辑上下文中关系的一些性质。 Zbl 1147.03010号 A.Burrieza。；德古兹曼，I.P。；穆尼奥斯·韦拉斯科，E。 三 2008 模糊闭包系统：动机、定义和性质。 Zbl 07581220号 曼纽尔·奥杰达·亨南德斯；卡布雷拉（Inma P.Cabrera）。；巴勃罗·科德罗；埃米利奥·穆尼奥斯·韦拉斯科 三 2022 关系对偶表决策过程及其在模态逻辑和直觉逻辑中的应用。 Zbl 1317.03017号 乔安娜·戈林斯卡·皮拉雷克；塔内利Huuskonen；埃米利奥·穆尼奥斯·韦拉斯科 2 2014 模态逻辑K中一种新的判定有效性的演绎系统。 Zbl 1252.03027号 乔安娜·戈林斯卡·皮拉雷克；埃米利奥·穆尼奥斯·韦拉斯科；安杰尔·莫拉 2 2011 实现模态逻辑K的关系定理证明器。 Zbl 1229.03019号 A.莫拉。；穆尼奥斯·韦拉斯科，E。；Golińska Pilarek，J。 2 2011 区间时序逻辑中的快速推理。 Zbl 1434.03066号 大卫·布雷索林；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 2 2017 传递有向图之间的关系Galois连接：特征和构造。 兹比尔1457.05041 卡布雷拉（Inma P.Cabrera）。；巴勃罗·科德罗；埃米利奥·穆尼奥斯·韦拉斯科；曼纽尔·奥杰达·阿西戈；伯纳德·贝茨 2 2020 提取区间时序逻辑规则：第一种方法。 Zbl 1487.68192号 大卫·布雷索林；恩里科·科米纳托；西蒙·格纳尼；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 1 2018 分析时间模态逻辑公理函数系统的完备性。 Zbl 1185.03020号 阿尔弗雷多·布里耶扎；de Guzmán，Inmaculada P。；埃米利奥·穆尼奥斯·韦拉斯科 1 2010 定性速度的PDL方法。 Zbl 1214.68380号 A.Burrieza。；穆尼奥斯·韦拉斯科，E。；Ojeda-Aciego，M。 1 2011 模态逻辑K的关系对偶表判定过程。 Zbl 1264.03041号 乔安娜·戈林斯卡·皮拉雷克；埃米利奥·穆尼奥斯·韦拉斯科；Mora Bonilla，天使 1 2012 具有索引流的时序模态逻辑上下文中的功能系统。 Zbl 1182.03038号 A.Burrieza。；德古兹曼，I.P。；穆尼奥斯·韦拉斯科，E。 1 2009 基于模糊定性表示的运动推理逻辑框架。 Zbl 1315.68241号 穆尼奥斯·韦拉斯科，E。；A.Burrieza。；Ojeda-Aciego，M。 1 2014 时间间隔模糊模态逻辑的一种方法。 Zbl 1464.68349号 威廉·康拉迪；黛拉·莫妮卡，达里奥；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 1 2020 模糊闭包系统：动机、定义和性质。 Zbl 07581220号 曼纽尔·奥杰达·亨南德斯；卡布雷拉（Inma P.Cabrera）。；巴勃罗·科德罗；埃米利奥·穆尼奥斯·韦拉斯科 三 2022 传递模糊有向图之间的关系Galois联系。 Zbl 1446.06006号 卡布雷拉（Inma P.Cabrera）。；巴勃罗·科德罗；埃米利奥·穆尼奥斯·韦拉斯科；曼纽尔·奥杰达·阿西戈；伯纳德·贝茨 5 2020 传递有向图之间的关系Galois连接：特征和构造。 Zbl 1457.05041号 卡布雷拉（Inma P.Cabrera）。；巴勃罗·科德罗；埃米利奥·穆尼奥斯·韦拉斯科；曼纽尔·奥杰达·阿西戈；伯纳德·贝茨 2 2020 时间间隔模糊模态逻辑的一种方法。 Zbl 1464.68349号 威廉·康拉迪；黛拉·莫妮卡，达里奥；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 1 2020 关于粗区间时序逻辑。 Zbl 1480.03010号 埃米利奥·穆尼奥斯·韦拉斯科；佩莱格林，梅赛德斯；皮埃特罗·萨拉；圭多·西亚维科；Stan、Ionel Eduard 4 2019 提取区间时间逻辑规则：第一种方法。 Zbl 1487.68192号 大卫·布雷索林；恩里科·科米纳托；西蒙·格纳尼；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 1 2018 Halpern-Shoham区间时间逻辑的角片段。 Zbl 1407.03029号 大卫·布雷索林；阿吉·库鲁茨；埃米利奥·穆尼奥斯·韦拉斯科；弗拉迪斯拉夫·里日科夫；圭多·西亚维科；扎卡里亚舍夫，迈克尔 8 2017 区间时序逻辑中的快速推理。 Zbl 1434.03066号 大卫·布雷索林；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 2 2017 艾伦关系的区间时间逻辑的次传播片段。 Zbl 1432.03028号 大卫·布雷索林；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科 6 2014 关系对偶表决策过程及其在模态逻辑和直觉逻辑中的应用。 Zbl 1317.03017号 乔安娜·戈林斯卡·皮拉雷克；塔内利Huuskonen；埃米利奥·穆尼奥斯·韦拉斯科 2 2014 基于模糊定性表示的运动推理逻辑框架。 Zbl 1315.68241号 穆尼奥斯·韦拉斯科，E。；A.Burrieza。；Ojeda-Aciego，M。 1 2014 模态逻辑K的关系对偶表判定过程。 兹比尔1264.03041 乔安娜·戈林斯卡·皮拉雷克；埃米利奥·穆尼奥斯·韦拉斯科；安琪尔·莫拉·波尼拉 1 2012 模态逻辑K中一种新的判定有效性的演绎系统。 Zbl 1252.03027号 乔安娜·戈林斯卡·皮拉雷克；埃米利奥·穆尼奥斯·韦拉斯科；安杰尔·莫拉 2 2011 实现模态逻辑K的关系定理证明器。 Zbl 1229.03019号 A.莫拉。；穆尼奥斯·韦拉斯科，E。；Golińska Pilarek，J。 2 2011 定性速度的PDL方法。 Zbl 1214.68380号 A.Burrieza。；穆尼奥斯·韦拉斯科，E。；Ojeda-Aciego，M。 1 2011 分析时间模态逻辑公理函数系统的完备性。 兹比尔1185.03020 阿尔弗雷多·布里耶扎；de Guzmán，Inmaculada P。；埃米利奥·穆尼奥斯·韦拉斯科 1 2010 具有可忽略性、非接近性和距离的数量级定性推理逻辑的关系方法。 Zbl 1171.68043号 Golinska-Pilarek，J。；穆尼奥斯·韦拉斯科，E。 6 2009 具有双向可忽略性的数量级定性推理的多模态逻辑的对偶表。 Zbl 1181.03018号 Golińska Pilarek，J。；穆尼奥斯·韦拉斯科，E。 三 2009 具有索引流的时序模态逻辑上下文中的功能系统。 Zbl 1182.03038号 A.Burrieza。；德古兹曼，I.P。；穆尼奥斯·贝拉斯科。 1 2009 泛化了函数时态（times）模态逻辑上下文中关系的一些性质。 Zbl 1147.03010号 A.Burrieza。；德古兹曼，I.P。；穆尼奥斯·韦拉斯科，E。 三 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名34位作者引用 16 埃米利奥·穆尼奥斯·韦拉斯科 6 阿尔弗雷多·布里耶扎 5 曼纽尔·奥杰达·阿西戈 5 圭多·西亚维科 4 乔安娜·戈林斯卡·皮拉雷克 三 大卫·布雷索林 三 卡布雷拉（Inma P.Cabrera）。 三 巴勃罗·科德罗 三 佩雷斯·德古兹曼（Pérez de Guzmán），英马特拉达 三 曼纽尔·奥杰达·亨南德斯 三 Michael Sioutis先生 2 尼科拉斯·马德里 2 安杰尔·莫拉 2 Stan、Ionel Eduard 2 沃尔特，迪德里奇 1 罗伯特·阿拉贡（Roberto G.Aragón）。 1 菲利普·巴尔比亚尼 1 希蒙·克莱博夫斯基 1 恩里科·科米纳托 1 威廉·康拉迪 1 黛拉·莫妮卡，达里奥 1 Inmaculada福特斯 1 西蒙·格纳尼 1 塔内利Huuskonen 1 马特乌斯·伊格纳扎克 1 汤米·詹胡宁 1 Leszczyńska Jasion，多罗塔 1 杰苏斯·麦地那 1 阿纳斯塔西亚·帕帕里佐 1 佩莱格林，梅赛德斯 1 埃洛伊萨·拉米雷斯·波萨 1 皮埃特罗·萨拉 1 Wałga，Przemys aw Andrzej 1 Micha Zawidzki 全部的 前5名14篇连载文章中引用 三 模糊集与系统 三 信息与计算 三 国际计算机数学杂志 2 纯逻辑与应用逻辑年鉴 2 数学逻辑季刊（MLQ） 2 应用逻辑杂志 1 人工智能 1 应用科学中的数学方法 1 Studia Logica公司 1 理论计算机科学 1 国际近似推理杂志 1 应用非经典逻辑杂志 1 国际不确定性、模糊性和基于知识的系统杂志 1 计算机科学中的逻辑方法 在3个字段中引用 21 数学逻辑和基础（03-XX） 17 计算机科学（68至XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的引文