编辑配置文件(在新选项卡中打开) 帕特里克·布莱克本 合著者距离 作者ID: 黑褐色 发布日期: 帕特里克·布莱克本;P.布莱克本。 外部链接: 管理程序 已编制索引的文档: 58出版物自1993年以来,包括3本书 作为编辑的10份贡献 合著者: 47位合著者具有58联合出版物 618合著作者 全部的 前5名合著者 9 单作者的 10 马尔滕·德·里杰克 10 马尔滕·马克思 8 卡洛斯·阿雷塞斯 7 约根森,克劳斯·弗罗文 6 托本·布吕纳 5 托马斯·博兰德 4 安东尼娅·韦尔塔斯 4 玛丽亚·曼扎诺 三 约翰·博斯 三 米罗斯拉发,扎科娃 三 维尼马,伊德 2 瓦罗尔·阿克曼 2 克莱尔·加登 2 埃米利亚诺·洛里尼 2 马丁斯(Manuel António Martins) 2 威尔弗里德·迈耶·维奥 2 杰里·塞利格曼 2 克里斯蒂娜·斯特里格尼茨 2 约根·维拉德森 1 洛雷达纳·阿法纳西耶夫 1 布雷斯比,尼克 1 劳伦斯·卡文登 1 埃里克·维尔蒙特·德·拉·克莱格里 1 瓦莱里亚·德·佩瓦 1 伊奥娜·马蒂尔德·迪米特里奥 1 戴米特曼,马克 1 来自阿斯塔·哈尔克 1 贝特朗·盖菲 1 基亚拉·吉迪尼 1 福斯托·金奇利亚 1 埃文·戈利斯 1 郭美云 1 伊迪丝·赫玛斯潘德拉 1 纪尧姆·霍夫曼 1 贾普·坎普 1 朱莉·伦德巴克·科福德 1 科瓦奇、斯雷奇科 1 阿兰·勒科姆 1 伊琳娜·波利安斯卡娅 1 阿恩·兰塔 1 克里斯蒂安·雷托雷 1 Atsuchi岛岛岛 1 德米特里·苏斯特列托夫 1 科杜拉,托泽卡 1 十个Cate,Balder David 1 罗伊·M·特纳。 1 van Benthem,Johan F.A.K。 1 弗兰克·沃尔特 全部的 前5名系列 6 逻辑、语言和信息杂志 5 IGPL逻辑杂志 4 合成 4 逻辑与计算杂志 三 哲学逻辑杂志 三 圣母院形式逻辑杂志 2 符号逻辑杂志 2 Studia Logica公司 2 计算机科学课堂讲稿 1 逻辑科公报 1 纯逻辑与应用逻辑年鉴 1 塞贡达·埃波卡理论 1 信息与计算 1 应用非经典逻辑杂志 1 IGPL公告 1 数学与人工智能年鉴 1 剑桥理论计算机科学丛书 1 CSLI课堂讲稿 1 理论计算机科学电子笔记 1 逻辑与实践推理研究 1 计算中的文本 1 Logique et d’epistémologie餐厅 领域 61 数学逻辑和基础(03-XX) 25 计算机科学(68至XX) 9 总体主题;集合(00-XX) 4 历史和传记(01-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 44出版物有1565年被引用中的次1154文件 引用人▼ 年份▼ 模态逻辑。 Zbl 0988.03006号 帕特里克·布莱克本;马尔滕·德·里杰克;维尼马,伊德 858 2001 模态逻辑手册。 兹比尔1114.03001 203 2007 混合逻辑:特征、插值和复杂性。 Zbl 0984.03018号 卡洛斯·阿雷塞斯;帕特里克·布莱克本;马尔滕·马克思 59 2001 表示、推理和关系结构:混合逻辑宣言。 Zbl 0956.03025号 帕特里克·布莱克本 52 2000 混合语言。 Zbl 0847.03009号 帕特里克·布莱克本;塞利格曼,杰瑞 42 1995 混合时序逻辑的计算复杂性。 Zbl 0959.03011号 卡洛斯·阿雷塞斯;帕特里克·布莱克本;马尔滕·马克思 38 2000 混合逻辑的复杂性。 Zbl 0942.03048号 卡洛斯·阿雷塞斯;帕特里克·布莱克本;马尔滕·马克思 31 1999 混合平台终端。 Zbl 1140.03005号 托马斯·博兰德;帕特里克·布莱克本 29 2007 纯扩展、证明规则和混合公理。 Zbl 1115.03009号 P.布莱克本。;十卡特,B。 28 2006 混合语言和时序逻辑。 Zbl 0920.03029号 帕特里克·布莱克本;米罗斯拉发,扎科娃 26 1999 内部化标记扣除。 Zbl 0953.03018号 帕特里克·布莱克本 26 2000 名词时态逻辑。 Zbl 0789.03018号 帕特里克·布莱克本 19 1993 表aux用于量化混合逻辑。 Zbl 1015.03014号 帕特里克·布莱克本;马尔滕·马克思 17 2002 Arthur Prior和混合逻辑。 Zbl 1108.03001号 帕特里克·布莱克本 16 2006 模态逻辑作为对话逻辑。 Zbl 1108.03309号 帕特里克·布莱克本 13 2001 什么是混合语言? 兹比尔0911.03009 帕特里克·布莱克本;杰里·塞利格曼 12 1998 为什么要组合逻辑? 兹伯利0887.03025 帕特里克·布莱克本;马尔滕·德·里杰克 10 1997 属性值语法计算复杂性的模态观点。 Zbl 0793.03018号 帕特里克·布莱克本;伊迪丝·斯潘 9 1993 语言学、逻辑和有限树。 Zbl 0810.03022号 帕特里克·布莱克本;威尔弗里德·迈耶·维奥 9 1994 修正量化模态逻辑中的插值定理。 Zbl 1031.03025号 卡洛斯·阿雷塞斯;帕特里克·布莱克本;马尔滕·马克思 9 2003 混合完整性。 Zbl 0904.03009号 帕特里克·布莱克本;米罗斯拉发,扎科娃 8 1998 将他们聚集在一起。 Zbl 0993.03011号 卡洛斯·阿雷塞斯;帕特里克·布莱克本 8 2001 混合概念语言。 Zbl 0919.03016号 帕特里克·布莱克本;米罗斯拉发,扎科娃 7 1998 有序树的PDL。 Zbl 1185.03056号 洛雷达纳·阿法纳西耶夫;帕特里克·布莱克本;伊奥娜·迪米特里奥;贝特朗·盖菲;埃文·戈利斯;马尔滕·马克思;马尔滕·德·里杰克 7 2005 关于格雷戈里的“实际”操作符的备注。 兹比尔1003.03016 帕特里克·布莱克本;马尔滕·马克思 6 2002 混合型理论的完备性。 兹比尔1338.03031 卡洛斯·阿雷塞斯;帕特里克·布莱克本;安东尼娅·韦尔塔斯;玛丽亚·曼扎诺 6 2014 混合逻辑中的构造插值。 Zbl 1059.03020号 帕特里克·布莱克本;马尔滕·马克思 5 2003 二阶伪解除任务:分析和形式化。 Zbl 1478.03025号 托本·布吕纳;帕特里克·布莱克本;伊琳娜·波利安斯卡娅 4 2016 塞利格曼式表格系统的综合完整性证明。 Zbl 1400.03045号 约根森,克劳斯·弗罗文;帕特里克·布莱克本;托马斯·博兰德;托本·布吕纳 三 2016 立即学习Prolog! Zbl 1192.68117号 帕特里克·布莱克本;约翰·博斯;克里斯蒂娜·斯特里格尼茨 三 2006 形式化混合逻辑的塞利格曼式表格系统(短文)。 Zbl 07614529号 来自阿斯塔·哈尔克;帕特里克·布莱克本;约根·维拉德森 三 2020 作为混合逻辑的情境演算:第一步。 Zbl 1053.68692号 帕特里克·布莱克本;贾普·坎普;马尔滕·马克思 三 2001 塞利格曼式画面系统的完整性和终止性。 兹比尔1444.03045 帕特里克·布莱克本;托马斯·博兰德;托本·布吕纳;约根森,克劳斯·弗罗文 三 2017 模态逻辑和属性值结构。 Zbl 0854.03017号 帕特里克·布莱克本 三 1993 令人费解的混合时态逻辑。 Zbl 1296.03012号 帕特里克·布莱克本;约根森,克劳斯·弗罗文 三 2012 放大,缩小。 Zbl 0872.03008号 帕特里克·布莱克本;马尔滕·德·里杰克 2 1997 刚性一阶混合逻辑。 Zbl 1530.03075号 帕特里克·布莱克本;曼纽尔·马丁斯;玛丽亚·曼扎诺;安东尼娅·韦尔塔斯 2 2019 Reichenbach、Prior和Montague:语义聚会。 Zbl 1279.03051号 卡洛斯·阿雷塞斯;帕特里克·布莱克本 2 2005 Arthur Prior和“现在”。 Zbl 1396.03025号 帕特里克·布莱克本;约根森,克劳斯·弗罗文 2 2016 Reichenbach,先行和混合时态逻辑。 Zbl 1367.03012号 帕特里克·布莱克本;约根森,克劳斯·弗罗文 2 2016 亨金和混合逻辑。 Zbl 1336.03022号 帕特里克·布莱克本;安东尼娅·韦尔塔斯;玛丽亚·曼扎诺;约根森,克劳斯·弗罗文 2 2014 逻辑、理性和互动。第七届国际研讨会,LORI 2019,中国重庆,2019年10月18日至21日。诉讼程序。 兹比尔1425.68005 1 2019 塞利格曼式的画面系统。 Zbl 1433.03020号 帕特里克·布莱克本;托马斯·博兰德;托本·布吕纳;约根森,克劳斯·弗罗文 1 2013 动态方块。 Zbl 0842.03016号 帕特里克·布莱克本;维尼马,伊德 1 1995 形式化混合逻辑的塞利格曼式表格系统(短文)。 Zbl 07614529号 来自阿斯塔·哈尔克;帕特里克·布莱克本;约根·维拉德森 三 2020 刚性一阶混合逻辑。 Zbl 1530.03075号 帕特里克·布莱克本;曼纽尔·马丁斯;玛丽亚·曼扎诺;安东尼娅·韦尔塔斯 2 2019 逻辑、理性和互动。2019年LORI第七届国际研讨会,中国重庆,2019年10月18-21日。诉讼程序。 Zbl 1425.68005号 1 2019 塞利格曼式画面系统的完整性和终止性。 Zbl 1444.03045号 帕特里克·布莱克本;托马斯·博兰德;托本·布吕纳;约根森,克劳斯·弗罗文 三 2017 二阶伪解除任务:分析和形式化。 Zbl 1478.03025号 托本·布吕纳;帕特里克·布莱克本;伊琳娜·波利安斯卡娅 4 2016 塞利格曼式表格系统的综合完整性证明。 Zbl 1400.03045号 约根森,克劳斯·弗罗文;帕特里克·布莱克本;托马斯·博兰德;布尔纳,托尔本 三 2016 Arthur Prior和“现在”。 Zbl 1396.03025号 帕特里克·布莱克本;约根森,克劳斯·弗罗文 2 2016 Reichenbach,先行和混合时态逻辑。 Zbl 1367.03012号 帕特里克·布莱克本;约根森,克劳斯·弗罗文 2 2016 混合型理论的完备性。 Zbl 1338.03031号 卡洛斯·阿雷塞斯;帕特里克·布莱克本;安东尼娅·韦尔塔斯;玛丽亚·曼扎诺 6 2014 亨金和混合逻辑。 Zbl 1336.03022号 帕特里克·布莱克本;安东尼娅·韦尔塔斯;玛丽亚·曼扎诺;约根森,克劳斯·弗罗文 2 2014 塞利格曼式的画面系统。 Zbl 1433.03020号 帕特里克·布莱克本;托马斯·博兰德;托本·布吕纳;约根森,克劳斯·弗罗文 1 2013 令人费解的混合时态逻辑。 Zbl 1296.03012号 帕特里克·布莱克本;约根森,克劳斯·弗罗文 三 2012 模态逻辑手册。 兹比尔1114.03001 203 2007 混合平台终端。 Zbl 1140.03005号 托马斯·博兰德;帕特里克·布莱克本 29 2007 纯扩展、证明规则和混合公理。 Zbl 1115.03009号 P.布莱克本。;十卡特,B。 28 2006 Arthur Prior和混合逻辑。 兹比尔1108.03001 帕特里克·布莱克本 16 2006 立即学习Prolog! Zbl 1192.68117号 帕特里克·布莱克本;约翰·博斯;克里斯蒂娜·斯特里格尼茨 三 2006 有序树的PDL。 Zbl 1185.03056号 洛雷达纳·阿法纳西耶夫;帕特里克·布莱克本;伊奥娜·迪米特里奥;贝特朗·盖菲;埃文·戈利斯;马尔滕·马克思;马尔滕·德·里杰克 7 2005 Reichenbach、Prior和Montague:语义聚会。 Zbl 1279.03051号 卡洛斯·阿雷塞斯;帕特里克·布莱克本 2 2005 修正量化模态逻辑中的插值定理。 Zbl 1031.03025号 卡洛斯·阿雷塞斯;帕特里克·布莱克本;马尔滕·马克思 9 2003 混合逻辑中的构造插值。 Zbl 1059.03020号 帕特里克·布莱克本;马尔滕·马克思 5 2003 表aux用于量化混合逻辑。 Zbl 1015.03014号 帕特里克·布莱克本;马尔滕·马克思 17 2002 关于格雷戈里的“实际”操作符的备注。 Zbl 1003.03016号 帕特里克·布莱克本;马尔滕·马克思 6 2002 模态逻辑。 Zbl 0988.03006号 帕特里克·布莱克本;马尔滕·德·里杰克;维尼马,伊德 858 2001 混合逻辑:特征、插值和复杂性。 兹伯利0984.03018 卡洛斯·阿雷塞斯;帕特里克·布莱克本;马克思,马尔滕 59 2001 模态逻辑作为对话逻辑。 Zbl 1108.03309号 帕特里克·布莱克本 13 2001 将他们聚集在一起。 Zbl 0993.03011号 卡洛斯·阿雷塞斯;帕特里克·布莱克本 8 2001 作为混合逻辑的情境演算:第一步。 Zbl 1053.68692号 帕特里克·布莱克本;贾普·坎普;马尔滕·马克思 三 2001 表示、推理和关系结构:混合逻辑宣言。 Zbl 0956.03025号 帕特里克·布莱克本 52 2000 混合时序逻辑的计算复杂性。 Zbl 0959.03011号 卡洛斯·阿雷塞斯;帕特里克·布莱克本;马尔滕·马克思 38 2000 内部化标记扣除。 Zbl 0953.03018号 帕特里克·布莱克本 26 2000 混合逻辑的复杂性。 Zbl 0942.03048号 卡洛斯·阿雷塞斯;帕特里克·布莱克本;马尔滕·马克思 31 1999 混合语言和时序逻辑。 Zbl 0920.03029号 帕特里克·布莱克本;米罗斯拉发,扎科娃 26 1999 什么是混合语言? Zbl 0911.03009号 帕特里克·布莱克本;杰里·塞利格曼 12 1998 混合完整性。 Zbl 0904.03009号 帕特里克·布莱克本;米罗斯拉夫·扎科娃 8 1998 混合概念语言。 Zbl 0919.03016号 帕特里克·布莱克本;米罗斯拉夫·扎科娃 7 1998 为什么要组合逻辑? Zbl 0887.03025号 帕特里克·布莱克本;马尔滕·德·里杰克 10 1997 放大,缩小。 Zbl 0872.03008号 帕特里克·布莱克本;马尔滕·德·里杰克 2 1997 混合语言。 Zbl 0847.03009号 帕特里克·布莱克本;杰里·塞利格曼 42 1995 动态方块。 Zbl 0842.03016号 帕特里克·布莱克本;维尼马,伊德 1 1995 语言学、逻辑和有限树。 Zbl 0810.03022号 帕特里克·布莱克本;威尔弗里德·迈耶·维奥 9 1994 名词时态逻辑。 Zbl 0789.03018号 帕特里克·布莱克本 19 1993 属性值语法计算复杂性的模态观点。 Zbl 0793.03018号 帕特里克·布莱克本;伊迪丝·斯潘 9 1993 模态逻辑和属性值结构。 Zbl 0854.03017号 帕特里克·布莱克本 三 1993 所有引用的出版物 前5名被引用出版物 全部的 前5名1174位作者引用 28 汉斯·皮特·范·迪特马什 25 尼克·贝扎尼什维利 22 卡洛斯·阿雷塞斯 21 van Benthem,Johan F.A.K。 20 贝扎尼什维利,古拉姆 18 帕特里克·布莱克本 16 菲利普·巴尔比亚尼 16 范德霍克,威比 15 贝内维特斯,马里奥·R·F·。 15 马明辉 15 马丁斯(Manuel António Martins) 13 劳尔·费尔瓦里 12 托马斯·奥戈特内斯 12 亚历山大·巴尔塔格 12 托本·布吕纳 12 德克·帕丁森 12 维尼马,伊德 12 王,燕京 11 Stéphane P.德姆里。 11 瓦伦丁·F·戈兰科。 11 安德烈亚斯·赫齐格 11 埃米利亚诺·洛里尼 11 Smets,Sonja J.L。 10 伊恩·马丁,霍金森 10 亚历山大·马德拉 10 胜彦三野 10 格特·斯莫尔卡 9 马里兰州阿基尔汗 9 艾比克·厄兹根 9 埃里克·帕奎特 8 娜塔莎·亚历奇纳 8 塞巴斯蒂安·恩奎斯特 8 大卫·费尔南德斯·杜克 8 克里斯蒂娜·塞尔纳达斯。 8 德米特里·什卡托夫 8 十个Cate,Balder David 7 莫华·班纳吉 7 巴博萨、路易斯·索亚雷斯 7 弗朗西斯科·贝拉迪内利 7 Broersen,Jan M。 7 威廉·康雷迪 7 Dov M.加巴伊。 7 帕特里克·R·吉拉德。 7 罗伯特·伊恩·戈德布拉特 7 大卫·格罗西 7 伯恩哈德·海涅曼 7 马克·卡明斯基 7 科斯塔斯·库特拉斯。 7 安蒂·库西斯托 7 马丁·兰格 7 卢塞罗·布莱恩,乔尔·格雷戈里 7 马尔滕·马克思 7 乔安·拉斯加 7 Rasmus Krmmer Rendsvig 7 路易斯·梅纳施·谢赫特 7 雷娜特·施密特(Renate A.Schmidt)。 7 廷切夫、廷科 7 弗兰克·沃尔特 7 迈克尔·J·伍尔德里奇。 6 托马斯·博兰德 6 贾科莫·博纳诺 6 劳拉·博泽利 6 圣地亚哥菲格拉 6 彼得·弗里茨 6 梅·盖尔克 6 托马斯·伊卡德(Thomas F.III) 6 巴特尔·皮特·库伊 6 克莱门斯·库普克 6 阿吉·库鲁茨 6 邱恩·荣·廖 6 马丁·吕克 6 卡斯滕·卢茨 6 玛丽亚·曼扎诺 6 阮琳安 6 拉马努贾姆,R。 6 托马斯·施耐德 6 阿米尔卡·塞尔纳达斯。 6 费尔南多·雷蒙多(Fernando Raymundo) 5 卢卡·埃特罗 5 纪尧姆拍卖行 5 弗兰兹·巴德 5 吉列尔莫·巴迪亚 5 克里斯托夫·埃瓦尔德·本兹穆勒 5 亚当·比约恩达尔 5 巴勃罗·卡斯特罗。 5 塞拉尼、塞尔吉奥·阿图罗 5 塞里托、塞雷内拉 5 玛尔塔·恰尔迪亚·梅耶 5 吉姆·德·格罗特 5 克莱尔·狄克逊 5 Ernst-Erich Doberkat 5 范洁 5 法语,蒂姆 5 亚历山德罗·佐丹尼 5 Hansen,Jens Ulrik简斯·乌尔里克 5 纪尧姆·霍夫曼 5 丰弘Hoshi 5 Anna Ingólfsdóttir 5 斯坦尼斯拉夫·基科特 5 Kuijer、Louwe Bouke …还有1074名作者 全部的 前5名80篇连载文章中引用 94 Studia Logica公司 68 合成 59 逻辑、语言和信息杂志 56 哲学逻辑杂志 47 理论计算机科学 38 纯逻辑与应用逻辑年鉴 38 应用非经典逻辑杂志 35 应用逻辑杂志 34 符号逻辑述评 33 人工智能 25 信息与计算 21 程序设计中的逻辑与代数方法杂志 20 ACM计算逻辑汇刊 19 符号逻辑杂志 19 圣母院形式逻辑杂志 18 泛逻辑 17 国际近似推理杂志 15 自动推理杂志 15 计算机科学中的逻辑方法 13 数学与人工智能年鉴 12 数学逻辑档案 8 代数普遍性 8 逻辑与逻辑哲学 7 埃尔肯特尼斯 6 信息科学 6 数学逻辑季刊(MLQ) 5 模糊集与系统 5 纯粹与应用代数杂志 5 逻辑科公报 5 符号逻辑公报 5 逻辑与代数程序设计杂志 4 逻辑历史与哲学 4 订单 4 计算的形式方面 4 MSCS公司。计算机科学中的数学结构 4 逻辑程序设计理论与实践 三 信息学学报 三 信息处理信件 三 计算机与系统科学杂志 三 美国数学学会汇刊 三 应用的分类结构 三 计算机基础理论 三 Logicheskie Issledovaniya公司 2 信息传输问题 2 游戏与经济行为 2 国际计算机数学杂志 2 软计算 2 国际博弈论综述 2 计算机语言、系统和结构 2 计算语言学 2 计算机科学前沿 1 国际理论物理杂志 1 以色列数学杂志 1 数学生物科学 1 数学笔记 1 数学进展 1 代数与逻辑 1 Automatica公司 1 代数杂志 1 数学经济学杂志 1 斯洛伐克数学 1 SIAM计算机杂志 1 拓扑及其应用 1 匈牙利数学学报 1 算法 1 国际计算机科学基础杂志 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 1 分布式计算 1 Indagationes Mathematicae公司。新系列 1 人工智能研究杂志 1 Izvestiya:数学 1 计算与数学组织理论 1 计算系统理论 1 中欧数学杂志 1 中国科学。F系列 1 物理学杂志A:数学与理论 1 理论经济学学士期刊 1 科学中国。信息科学 1 游戏 1 意大利马特马提卡联盟Bollettino dell'Unione Matematica Italiana 全部的 前5名28个领域被引用 1,020 数学逻辑和基础(03-XX) 458 计算机科学(68至XX) 64 博弈论、经济学、金融和其他社会和行为科学(91-XX) 53 阶、格、有序代数结构(06-XX) 25 一般拓扑结构(54至XX) 15 范畴理论;同调代数(18-XX) 14 组合数学(05-XX) 12 历史和传记(01-XX) 12 一般代数系统(08-XX) 8 量子理论(81-XX) 5 概率论与随机过程(60-XX) 4 群论与推广(20-XX) 三 总体主题;集合(00-XX) 三 生物学和其他自然科学(92-XX) 2 几何图形(51至XX) 2 相对论和引力理论(83至XX) 1 结合环与代数(16-XX) 1 非结合环和代数(17-XX) 1 测量和集成(28-XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 微分几何(53至XX) 1 代数拓扑(55-XX) 1 整体分析,流形分析(58-XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 1 运筹学、数学规划(90-XX) 1 信息和通信理论,电路(94-XX) 按年份列出的引文