编辑配置文件（在新选项卡中打开） 格雷格·雷斯塔尔 合著者距离 作者ID： restall.greg餐厅 发布日期： 格雷格·雷斯塔尔 已编制索引的文档： 60出版物自1992年以来，包括5本书 2作为编辑的贡献 合著者： 22合著者具有14联合出版物 330位合作作者 全部的 前5名合著者 48 单作者的 三 比尔，Jc 三 罗伯特·肯尼思·梅耶 三 牧师，格雷厄姆 2 罗斯·托马斯·布雷迪 2 艾伦·P·黑森（Allen P.Hazen）。 2 约翰·斯莱尼。 2 肖恩·斯坦德弗 1 弗朗西斯科·贝尔托 1 贝尔科娃，玛尔塔 1 Čačić，韦德兰 1 乔恩·迈克尔·邓恩 1 Ondrej Majer 1 埃德温·马雷斯（Edwin D.Mares）。 1 弗朗西斯科·保利 1 米查尔·佩利什 1 帕维尔·普德拉克 1 戴维·里普利 1 苏珊·罗杰森 1 理查德·西尔文 1 罗伊，托尼 1 阿拉斯代尔·厄克哈特 1 阿尔伯特·维瑟 全部的 前5名系列 8 哲学逻辑杂志 5 逻辑与分析。Nouvelle Série公司 4 圣母院形式逻辑杂志 4 Studia Logica公司 三 澳大利亚逻辑杂志 三 符号逻辑述评 2 逻辑科公报 2 符号逻辑公报 1 符号逻辑杂志 1 数理逻辑报告 1 纯粹逻辑与应用逻辑年鉴 1 IGPL公告 1 IGPL逻辑杂志 1 数学哲学。系列III 1 埃尔肯特尼斯 1 分析 1 逻辑与逻辑哲学 1 哲学和逻辑要素 领域 62 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 三 历史和传记（01-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 47出版物有被引用706中的次460文件 引用人▼ 年份▼ 子结构逻辑导论。 Zbl 1028.03018号 格雷格·雷斯塔尔 137 1999 逻辑多元化。 Zbl 1374.03001号 比尔，Jc;格雷格·雷斯塔尔 101 2006 多个结论。 兹比尔1105.03011 格雷格·雷斯塔尔 54 2005 相关逻辑中的否定。（我是如何停止担忧，学会爱上这位劳特利明星的）。 Zbl 0974.03026号 格雷格·雷斯塔尔 29 1999 信息流和相关逻辑。 兹比尔0877.03015 格雷格·雷斯塔尔 26 1996 亚直觉主义逻辑。 Zbl 0811.03005号 格雷格·雷斯塔尔 24 1994 关于三元关系和条件。 Zbl 1260.03049号 比尔，Jc;罗斯·布雷迪;J.Michael Dunn;Hazen，A.P。;马雷斯，埃德温;罗伯特·梅耶（Robert K.Meyer）。;格雷厄姆牧师;格雷格·雷斯塔尔;戴维·里普利;约翰·斯莱尼;理查德·西尔文 23 2012 S5的证明：模态逻辑的序列和电路。 Zbl 1146.03038号 格雷格·雷斯塔尔 22 2008 相关限制量化。 Zbl 1111.03020号 比尔，Jc;罗斯·T·布雷迪。;Hazen，A.P。;格雷厄姆牧师;格雷格·雷斯塔尔 21 2006 断言、否认和非经典理论。 Zbl 1272.03038号 格雷格·雷斯塔尔 20 2013 相关逻辑（以及它们的一些竞争对手）的简化语义。 Zbl 0782.03009号 格雷格·雷斯塔尔 17 1993 LP中朴素集理论的一点注记。 Zbl 0768.03033号 格雷格·雷斯塔尔 15 1992 真理价值观和证明理论。 兹比尔1191.03042 格雷格·雷斯塔尔 15 2009 如何真正避免收缩。 Zbl 0793.03003号 格雷格·雷斯塔尔 14 1993 显示和决定子结构逻辑。一： 对置逻辑。 Zbl 0913.03029号 格雷格·雷斯塔尔 14 1998 子结构逻辑中的模态。 Zbl 0840.03011号 雷斯塔尔，格雷格 13 1993 否定澳大利亚的计划。 Zbl 1457.03007号 弗朗西斯科·贝尔托;格雷格·雷斯塔尔 13 2019 二维模态逻辑的无切割序列系统及其重要性。 Zbl 1256.03026号 格雷格·雷斯塔尔 12 2012 Łukasiewicz的无限值逻辑中的算术和真理。 Zbl 0832.03010号 格雷格·雷斯塔尔 11 1992 多元性和证明。 Zbl 1304.03026号 格雷格·雷斯塔尔 11 2014 事情不可能是这样的。 Zbl 0916.03015号 格雷格·雷斯塔尔 10 1997 相关逻辑（以及一些竞争对手）的四值语义。 Zbl 0815.03014号 格雷格·雷斯塔尔 9 1995 通往琐碎的道路。 Zbl 1067.03040号 苏珊·罗杰森;格雷格·雷斯塔尔 9 2004 定义双重否定消除。 Zbl 0980.03033号 格雷格·雷斯塔尔 9 2000 非分配逻辑的几何。 Zbl 1100.03049号 格雷格·雷斯塔尔;弗朗西斯科·保利 8 2005 普遍性和存在性。一： 量化和自由逻辑。 Zbl 1532.03010号 格雷格·雷斯塔尔 7 2019 正规证明、无切割推导和结构规则。 Zbl 1339.03048号 格雷格·雷斯塔尔 7 2014 关于简化语义中的置换。 Zbl 1194.03021号 格雷格·雷斯塔尔;罗伊，托尼 6 2009 显示逻辑和gaggle理论。 Zbl 0858.03036号 格雷格·雷斯塔尔 5 1995 相关代理人。 Zbl 1254.03040号 贝尔科娃，玛尔塔;Ondrej Majer;米查尔·佩利什;格雷格·雷斯塔尔 5 2010 非传统法则、排他性中间法则和逻辑学。 Zbl 1061.03015号 格雷格·雷斯塔尔 4 2004 有用的子结构逻辑。 Zbl 0811.03026号 格雷格·雷斯塔尔 4 1994 “优势”算术。 Zbl 1014.03055号 罗伯特·梅耶（Robert K.Meyer）。;格雷格·雷斯塔尔 三 1999 布拉德沃丁真理理论的模态模型。 Zbl 1204.03013号 格雷格·雷斯塔尔 三 2008 取消了线性算术。 Zbl 0969.03069号 约翰·斯莱尼。;罗伯特·梅耶（Robert K.Meyer）。;格雷格·雷斯塔尔 三 1996 子结构算术模型。 Zbl 1330.03055号 格雷格·雷斯塔尔 三 2011 超一致逻辑！ Zbl 0926.03004号 格雷格·雷斯塔尔 2 1997 修饰线性有序类型和串联理论。 Zbl 1244.03162号 卡拉奇，维德兰;帕维尔·普德拉克;格雷格·雷斯塔尔;阿拉斯代尔·厄克哈特;阿尔伯特·维瑟 2 2010 信封和冷漠。 Zbl 1269.03013号 格雷厄姆牧师;格雷格·雷斯塔尔 2 2008 结合可能性和否定。 Zbl 0888.03014号 格雷格·雷斯塔尔 2 1997 逻辑。引言。 Zbl 1118.03300号 格雷格·雷斯塔尔 2 2006 模拟真实制作。 Zbl 1018.03506号 格雷格·雷斯塔尔 2 2000 反实证主义经典逻辑和现实主义数学。 兹比尔1253.03017 格雷格·雷斯塔尔 2 2012 打开\（t\）和\（u\），以及他们可以做什么。 Zbl 1284.03086号 格雷格·雷斯塔尔 2 2010 逻辑多元化与搜查令的保全。 Zbl 1083.03506号 雷斯塔尔，格雷格 1 2004 无布尔否定的常域量化模态逻辑。 Zbl 1073.03009号 格雷格·雷斯塔尔 1 2005 一级蕴涵、对称和悖论。 Zbl 1419.03026号 格雷格·雷斯塔尔 1 2017 否定澳大利亚的计划。 Zbl 1457.03007号 弗朗西斯科·贝尔托;格雷格·雷斯塔尔 13 2019 普遍性和存在性。一： 量化和自由逻辑。 Zbl 1532.03010号 格雷格·雷斯塔尔 7 2019 一级蕴涵、对称和悖论。 Zbl 1419.03026号 格雷格·雷斯塔尔 1 2017 多元性和证明。 Zbl 1304.03026号 格雷格·雷斯塔尔 11 2014 正规证明、无切割推导和结构规则。 Zbl 1339.03048号 格雷格·雷斯塔尔 7 2014 断言、否认和非经典理论。 Zbl 1272.03038号 格雷格·雷斯塔尔 20 2013 关于三元关系和条件。 Zbl 1260.03049号 比尔，Jc;罗斯·布雷迪;邓恩，J.迈克尔;Hazen，A.P。;埃德温·马雷斯;罗伯特·梅耶（Robert K.Meyer）。;格雷厄姆牧师;格雷格·雷斯塔尔;戴维·里普利;约翰·斯拉尼;理查德·西尔文 23 2012 二维模态逻辑的无切割序列系统及其重要性。 Zbl 1256.03026号 格雷格·雷斯塔尔 12 2012 反实证主义经典逻辑和现实主义数学。 Zbl 1253.03017号 格雷格·雷斯塔尔 2 2012 子结构算术模型。 Zbl 1330.03055号 格雷格·雷斯塔尔 三 2011 相关代理人。 Zbl 1254.03040号 贝尔科娃，玛尔塔;Ondrej Majer;米查尔·佩利什;格雷格·雷斯塔尔 5 2010 修饰线性顺序类型和串联理论。 Zbl 1244.03162号 卡拉奇，维德兰;帕维尔·普德拉克;格雷格·雷斯塔尔;阿拉斯代尔·厄克哈特;阿尔伯特·维瑟 2 2010 打开\（t\）和\（u\），以及他们可以做什么。 Zbl 1284.03086号 格雷格·雷斯塔尔 2 2010 真理价值观和证明理论。 Zbl 1191.03042号 格雷格·雷斯塔尔 15 2009 论简化语义中的置换。 Zbl 1194.03021号 雷斯塔尔，格雷格;罗伊，托尼 6 2009 S5的证明：模态逻辑的序列和电路。 Zbl 1146.03038号 格雷格·雷斯塔尔 22 2008 布拉德沃丁真理理论的模态模型。 Zbl 1204.03013号 雷斯塔尔，格雷格 三 2008 信封和冷漠。 Zbl 1269.03013号 格雷厄姆牧师;格雷格·雷斯塔尔 2 2008 逻辑多元化。 Zbl 1374.03001号 比尔，Jc;格雷格·雷斯塔尔 101 2006 相关限制量化。 Zbl 1111.03020号 比尔，Jc;罗斯·T·布雷迪。;Hazen，A.P。;格雷厄姆牧师;格雷格·雷斯塔尔 21 2006 逻辑。引言。 Zbl 1118.03300号 格雷格·雷斯塔尔 2 2006 多个结论。 Zbl 1105.03011号 格雷格·雷斯塔尔 54 2005 非分配逻辑的几何学。 Zbl 1100.03049号 格雷格·雷斯塔尔;弗朗西斯科·保利 8 2005 无布尔否定的常域量化模态逻辑。 Zbl 1073.03009号 格雷格·雷斯塔尔 1 2005 通向琐碎的道路。 Zbl 1067.03040号 苏珊·罗杰森;格雷格·雷斯塔尔 9 2004 非传统法则、排他性中间法则和逻辑学。 Zbl 1061.03015号 格雷格·雷斯塔尔 4 2004 逻辑多元化与搜查令的保全。 Zbl 1083.03506号 雷斯塔尔，格雷格 1 2004 定义双重否定消除。 Zbl 0980.03033号 格雷格·雷斯塔尔 9 2000 模拟真实制作。 Zbl 1018.03506号 格雷格·雷斯塔尔 2 2000 子结构逻辑导论。 Zbl 1028.03018号 格雷格·雷斯塔尔 137 1999 相关逻辑中的否定。（我是如何停止担心，学会爱上这位《罗特莉》明星的）。 Zbl 0974.03026号 格雷格·雷斯塔尔 29 1999 “优势”算术。 Zbl 1014.03055号 罗伯特·梅耶（Robert K.Meyer）。;格雷格·雷斯塔尔 三 1999 显示和决定子结构逻辑。一： 对置逻辑。 Zbl 0913.03029号 格雷格·雷斯塔尔 14 1998 事情不可能是这样的。 Zbl 0916.03015号 格雷格·雷斯塔尔 10 1997 超一致逻辑！ Zbl 0926.03004号 格雷格·雷斯塔尔 2 1997 结合可能性和否定。 Zbl 0888.03014号 雷斯塔尔，格雷格 2 1997 信息流和相关逻辑。 Zbl 0877.03015号 格雷格·雷斯塔尔 26 1996 线性算术已禁用。 Zbl 0969.03069号 约翰·斯莱尼。;罗伯特·K·迈耶。;格雷格·雷斯塔尔 三 1996 相关逻辑（以及一些竞争对手）的四值语义。 Zbl 0815.03014号 格雷格·雷斯塔尔 9 1995 显示逻辑和gaggle理论。 Zbl 0858.03036号 格雷格·雷斯塔尔 5 1995 亚直觉主义逻辑。 Zbl 0811.03005号 格雷格·雷斯塔尔 24 1994 一个有用的子结构逻辑。 Zbl 0811.03026号 格雷格·雷斯塔尔 4 1994 相关逻辑（以及一些竞争对手）的简化语义。 Zbl 0782.03009号 格雷格·雷斯塔尔 17 1993 如何真正避免收缩。 Zbl 0793.03003号 格雷格·雷斯塔尔 14 1993 子结构逻辑中的模态。 Zbl 0840.03011号 格雷格·雷斯塔尔 13 1993 LP中朴素集理论的一点注记。 Zbl 0768.03033号 格雷格·雷斯塔尔 15 1992 Łukasiewicz的无限值逻辑中的算术和真理。 Zbl 0832.03010号 格雷格·雷斯塔尔 11 1992 所有引用出版物 前5名被引用出版物 全部的 前5名374位作者引用 19 格雷格·雷斯塔尔 13 海因里希·西奥多·万辛 10 埃德温·马雷斯（Edwin D.Mares）。 10 肖恩·斯坦德弗 8 戴维·里普利 7 诺里希罗·卡米德 7 大森，Hitoshi 7 弗朗西斯科·保利 7 牧师，格雷厄姆 7 安德鲁·特德 7 扎克·韦伯 6 帕特里克·阿洛 6 比尔，Jc 6 罗斯·托马斯·布雷迪 6 乔恩·迈克尔·邓恩 6 尼西姆·弗朗西兹 5 吉列尔莫·巴迪亚 5 爱德华多·亚历杭德罗·巴里奥 5 博格丹·迪彻 5 穆尔西，内哈德·纳沙特 5 雅罗斯拉夫·佩雷格林 5 杰玛·罗伯斯 4 插入符号，Colin R。 4 蝉蜕、阿加塔 4 托马斯·麦考利·弗格森 4 哈特里·菲尔德。 4 劳埃德·亨伯斯通 4 安德烈·因德泽扎克（Andrzej Indrzejczak） 4 何塞·梅恩德斯。 4 Ø戈尔，托雷·费特兰 4 大卫·J·派姆。 4 伊戈尔·塞德拉尔 4 川崎捷瑞 三 萨拉·艾汉 三 沃伊切赫·巴斯科夫斯基 三 马西米利亚诺·卡拉拉 三 彼得·辛图拉 三 布鲁诺·达雷 三 路易斯·埃斯特拉达·冈萨雷斯 三 费伦茨，尼古拉斯 三 赫里萨菲斯·哈托纳斯 三 马克·贾戈 三 朱利安·穆尔齐 三 费德里科·马蒂亚斯·佩洛斯 三 雅罗斯拉夫·伊戈列维奇·彼得鲁金 三 弗朗西丝卡·波乔列西 三 Vít省Punčochář 三 雷文莎·拉马纳亚克 三 阅读，斯蒂芬 三 苏珊·罗杰森 三 卢卡斯·丹尼尔·罗森布拉特 三 洛伦佐·保罗·罗西 三 斯图尔特·夏皮罗 三 van Benthem，Johan F.A.K。 三 杨恩斯克 三 埃莉亚·扎迪尼 2 布拉德利Armour-Garb 2 奥彻，纪尧姆 2 安德鲁·培根 2 莫华·班纳吉 2 克里斯·巴克 2 加拿大巴什肯特 2 弗朗西斯科·贝尔托 2 比姆博，卡塔林 2 奥塔维奥·布埃诺 2 查克拉博蒂，米希尔·库马尔 2 迪克·乔恩。 2 谢尔盖·德罗比舍维奇 2 索玛·杜塔 2 保罗·埃格里 2 穆塔兹·萨利赫·埃尔·泽基 2 安德烈亚斯·费尔斯塔德 2 法语、罗汉语 2 朋友，米歇尔 2 彼得·弗里茨 2 帕特里克·R·吉拉德。 2 诺伯特·格拉茨 2 格里戈耶夫，奥列格·米哈·洛维奇 2 沃尔克·哈尔巴赫 2 艾伦·P·黑森（Allen P.Hazen）。 2 罗斯蒂斯拉夫·霍奇克 2 亚历山大·库克里克（Alexander W.Kocurek）。 2 特蕾莎·库里·基塞尔 2 阿伦·库马尔 2 法比奥·兰伯特 2 比约恩·莱尔曼 2 乔安·马科斯 2 乔治·梅特卡夫 2 罗伯特·肯尼思·梅耶 2 本·米德尔顿 2 O'Hearn，Peter W。 2 大尾，Takuro 2 安德鲁·帕里西 2 克莱顿·彼得森 2 加布里埃尔·普奇尼 2 拉米雷斯-卡马拉，埃利桑格拉 2 若昂·拉斯加 2 胜彦三野 2 彼得·迈克尔·舒斯特 2 Sebastian红杉-Grayson …还有274位作者 全部的 前5名引用于37个系列 70 哲学逻辑杂志 51 合成 43 Studia Logica公司 36 符号逻辑述评 22 泛逻辑 21 圣母院形式逻辑杂志 16 埃尔肯特尼斯 15 逻辑与逻辑哲学 14 逻辑、语言与信息杂志 14 应用非经典逻辑杂志 10 托波伊 8 应用逻辑杂志 6 理论计算机科学 6 逻辑科公报 6 诺尔斯 5 符号逻辑杂志 5 纯粹逻辑与应用逻辑年鉴 4 模糊集与系统 4 数学逻辑档案 4 Indagationes Mathematicae公司。新系列 4 符号逻辑公报 三 逻辑历史与哲学 2 代数普遍性 2 信息科学 2 计算机科学中的数学结构 2 软计算 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 国际通用系统杂志 1 理论与决策 1 自动推理杂志 1 数学逻辑季刊（MLQ） 1 澳大利亚和新西兰统计杂志 1 科学基础 1 ACM计算逻辑事务 1 欧洲科学哲学杂志 1 Logicheskie Issledovaniya公司 全部的 前5名在15个字段中引用 448 数学逻辑和基础（03-XX） 25 计算机科学（68至XX） 14 阶、格、有序代数结构（06-XX） 12 总体主题；集合（00-XX） 12 历史和传记（01-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 一般代数系统（08-XX） 三 范畴理论；同调代数（18-XX） 三 量子理论（81-XX） 1 交换代数（13-XX） 1 一般拓扑结构（54至XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文