澳大利亚逻辑杂志 简短标题: 澳大利亚。J.日志。 出版商: 惠灵顿维多利亚大学逻辑、语言和计算中心;澳大利亚逻辑协会 国际标准编号: 1448-5052/年 在线: http://ojs.victoria.ac.nz/ajl/issue/archive 评论: 期刊;索引封面;自第1卷(2003年)起,仅以电子形式发布。此日志可开放访问。 已编制索引的文档: 221出版物(自2003年起) 全部的 前5名最新问题 20,编号3(2023) 20,编号2(2023) 20,编号1(2023) 19,第5号(2022) 19,编号4(2022) 19,编号3(2022) 19,编号2(2022) 19,编号1(2022) 18,编号7(2021) 18,编号6(2021) 18,编号5(2021) 18,编号4(2021) 18,编号3(2021) 18,编号2(2021) 18,编号1(2021) 17,第5期(2020年) 17,第4期(2020年) 17,第3期(2020年) 17,第2号,规范发行。(2020) 17,第1期(2020年) 162019年第8号 16,第7号,规范发行。(2019) 162019年第6号 16,第5号(2019) 16,第4号(2019) 16,第3号(2019) 162019年第2期 162019年第1期 15,第4号(2018) 15,第3号(2018) 15,第2号,规范发行。(2018) 152018年第1期 142017年第4号 142017年第3号 142017年第2期 14,第1号,规范发行。(2017) 132016年第7号 132016年第6号 132016年第5号 132016年第4号 132016年第3号 132016年第2期 132016年第1期 122015年第5号 122015年第4号 122015年第3期 122015年第2期 122015年第1期 112014年第2期 112014年第1期 10(2011) 8(2011) 9(2010) 7(2009) 6(2008) 5(2007年) 4(2006) 三(2005) 2(2004) 1(2003) 全部的 前5名作者 14 牧师,格雷厄姆 8 克里斯·莫滕森 7 托马斯·麦考利·弗格森 6 罗斯·托马斯·布雷迪 6 阿拉斯代尔·厄克哈特 5 比尔,Jc 4 马丁·邦德。 4 克雷斯韦尔·麦克斯韦尔·约翰 4 罗伯特·梅耶(Robert K.Meyer)。 4 达米安·恩里克·斯穆克 三 吉列尔莫·巴迪亚 三 布兰登·菲德尔森 三 劳埃德·亨伯斯通 三 Ø戈尔,托雷·费特兰 三 格雷格·雷斯塔尔 三 肖恩·斯坦德弗 三 田中,Koji 三 安德鲁·特德 2 弗朗西斯科·贝尔托 2 菲利波·加布里奥·埃多亚多·卡萨蒂 2 马克·科利文 2 布鲁诺·达雷 2 路易斯·埃斯特拉达·冈萨雷斯 2 尼古拉斯·费伦茨 2 苏基·芬恩 2 装配,梅尔文·克里斯 2 藤川,名古屋 2 大卫·罗伯特·吉尔伯特 2 奥勒·托马斯·霍特兰 2 伊恩·马丁·霍德金森 2 多米尼克·海德 2 谢·艾伦·洛根 2 大卫·克莱门·梅金森 2 罗伯特·肯尼思·梅耶 2 马泰奥·普列巴尼 2 拉米雷斯-卡马拉,埃利桑格拉 2 丹尼尔·罗内达尔 2 丹尼尔·斯科特 2 约翰·斯莱尼。 2 巴里·哈特利·斯莱特 2 克里斯托弗·斯坦斯沃尔德 2 尼尔·托马森 2 拉法·乌尔巴尼亚克 2 乔治·文丘里 2 海因里希·西奥多 2 韦伯,扎克 2 Weiss,耶鲁大学 2 约翰·威格斯沃思 2 贝纳姆·佐尔加德 1 拉希德·艾哈迈德 1 瓦罗尔·阿克曼 1 弗雷德里克·安德森。 1 Andrikopoulos,泛神经炎 1 帕尔·弗杰尔德维格·安东森 1 乔纳斯·拉斐尔·贝克尔·阿伦哈特 1 萨拉·艾汉 1 安德鲁·培根 1 爱德华多·亚历杭德罗·巴里奥 1 尼尔·巴顿 1 堪萨斯州巴什肯特 1 罗伯特·毕格纳尔。 1 比姆博,卡塔林 1 何塞·米盖尔·布兰科 1 丹尼斯·邦内 1 阿曼达·布莱恩特 1 插入符号,Colin R。 1 卢卡·卡斯塔尔多 1 罗伯托·齐尼 1 马修·克莱门斯 1 保罗·科拉扎 1 科特诺尔(Aaron J.Cotnoir)。 1 Da Costa、Newton Carneiro Affonso 1 埃蒙·达内尔 1 阿列夫·戴恩斯 1 Inge De Bal公司 1 法比奥·德·马丁·波罗 1 乔恩·迈克尔·邓恩 1 Dyrkolbotn、Sjur Kristoffer 1 肯尼·伊斯瓦兰 1 马蒂·埃克隆德 1 路易斯·埃斯特拉达·冈萨雷斯 1 安德烈亚斯·费尔斯塔德 1 尼西姆·弗朗西兹 1 法语、罗汉语 1 马克斯·阿尔贝托·弗伦德 1 Tigran M.Galoyan。 1 纳撒尼尔·甘 1 帕特里克·R·吉拉德。 1 Rea戈兰 1 罗伯·戈德布拉特 1 罗伯特·伊恩·戈德布拉特 1 伦道夫·鲁本斯·戈德曼 1 圭多州长 1 诺亚·格林斯坦 1 乌尔夫赫洛比勒 1 亚伦·亨特 1 安德烈亚·伊科纳 1 Jockwich Martinez,圣地亚哥 1 约翰逊,玛丽琳 1 法里达·卡查波娃 …还有89位作者 全部的 前5名领域 219 数理逻辑与基础(03-XX) 8 历史和传记(01-XX) 7 总体主题;集合(00-XX) 4 几何图形(51至XX) 三 统计学(62-XX) 三 计算机科学(68至XX) 三 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 2 阶、格、有序代数结构(06-XX) 2 概率论与随机过程(60-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 实际功能(26年X月X日) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 107出版物有被引用403中的次314文件 引用人▼ 年份▼ 用Hintikka打牌:动态认知逻辑导论。 Zbl 1122.03010号 van Ditmarsch,H.P。;范德霍克,W。;Kooi,B.P。 24 2005 否定作为取消、连接逻辑和qLPm。 Zbl 1455.03033号 海因里希·万兴;丹尼尔·斯科特 19 2018 离题:弱克莱恩逻辑的新解释。 Zbl 1422.03044号 比尔,Jc 19 2016 违规逻辑:一种Gentzen系统,用于与义务相反的推理。 Zbl 1122.03013号 圭多州长;安东尼诺·罗托洛 16 2006 多元逻辑。 Zbl 1330.03058号 牧师,格雷厄姆 14 2014 逻辑动力学与逻辑多元主义相遇? Zbl 1168.03313号 约翰·范·本特姆 11 2008 没有收缩规则和剩余格的逻辑。 Zbl 1330.03054号 小野,Hiroakira 10 2011 遵循组件同质性的相关逻辑。 Zbl 1453.03019号 罗伯托·齐尼;达米安·斯穆克;托马斯·麦考利·弗格森 10 2018 一些相关逻辑的语义决策过程。 Zbl 1044.03014号 罗斯·布雷迪 8 2003 麦肯锡-莱蒙的逻辑几乎不规范。 Zbl 1168.03320号 罗伯特·戈德布拉特;伊恩·霍德金森 8 2007 没有逻辑上的否定:真、假、两者都有,两者都没有。 Zbl 1422.03003号 比尔,Jc 8 2017 箱点猜想和本质与偶然的语言。 Zbl 1330.03048号 克里斯托弗·斯坦斯沃尔德 7 2011 什么是逻辑理论的证据? Zbl 1456.03011号 奥勒·托马斯·霍特兰 7 2019 超一致性及其哲学解释。 Zbl 1455.03031号 爱德华多·巴里奥;布鲁诺·达雷 7 2018 什么如果? 对一个想法的探索。 兹比尔1422.03053 牧师,格雷厄姆 7 2017 免疫逻辑。 Zbl 1521.03049号 布鲁诺·达雷;达米安·斯穆克 7 2021 次一致模糊:为什么不? Zbl 1168.03323号 多米尼克·海德;马克·科利文 6 2008 无事生非。 Zbl 1330.03022号 牧师,格雷厄姆 6 2014 亚结构否定。 Zbl 1330.03053号 大尾,Takuro 6 2015 关于半格关联逻辑关联性的注记。 Zbl 1456.03044号 耶鲁大学维斯 6 2019 模态逻辑中箱点平移猜想的部分验证。 Zbl 1330.03044号 法语、罗汉语;劳埃德·亨伯斯通 5 2009 互补与对偶直觉逻辑。 Zbl 1330.03097号 路易斯·埃斯特拉达·冈萨雷斯 5 2010 幂矩阵和Dunn-Belnap语义:对Graham Priest一句话的反思。 Zbl 1330.03057号 劳埃德·亨伯斯通 5 2014 鉴别器逻辑(研究公告)。 Zbl 1330.03096号 马修·斯宾克斯;罗伯特·毕格纳尔。;罗伯特·韦洛夫 5 2014 关联逻辑:开放和封闭的问题。 Zbl 1422.03040号 阿拉斯代尔·厄克哈特 5 2016 非经典逻辑中的斯科勒姆函数。 Zbl 1422.03056号 Ø戈尔,托雷·费特兰 5 2017 未知真理和错误信念逻辑的邻域语义。 Zbl 1422.03025号 大卫·R·吉尔伯特。;乔治·文丘里 5 2017 四个变量就足够了。 Zbl 1168.03013号 阿拉斯代尔·厄克哈特 4 2007 范畴抽象代数逻辑:等价的机构。 兹比尔1166.03041 乔治·沃萨达基斯 4 2008 模态公式在每个模型的某个点上都成立。 兹比尔1168.03011 劳埃德·亨伯斯通 4 2008 逻辑多元主义荷兰化。评论:“逻辑动力学与逻辑多元主义相遇?”。 Zbl 1168.03308号 牧师,格雷厄姆 4 2008 作为形而上学原则的非传统法则。 Zbl 1330.03027号 Tuomas E.塔科。 4 2009 模糊逻辑。 Zbl 1330.03064号 约翰·斯拉尼 4 2011 其他同等推理的灵活性。 Zbl 1330.03023号 杰里米·塞利格曼;帕特里克·吉拉德 4 2011 反对逻辑推理的反思平衡。 Zbl 1456.03018号 杰克·伍兹 4 2019 相关含义和有序几何。 Zbl 1456.03042号 阿拉斯代尔·厄克哈特 4 2019 关于Lloyd Humberstone的一些观点的注释模态逻辑的哲学应用. Zbl 1455.03019号 史蒂文·库恩(Steven T.Kuhn)。;布莱恩·威瑟森 4 2018 两份手稿,一份是Routey-Meyer的,另一份是相关逻辑的Routey-Mayer语义的起源。 Zbl 1455.03023号 比姆博,卡塔林;乔恩·迈克尔·邓恩;尼古拉斯·费伦茨 4 2018 关于戈达德和劳特利意义逻辑的注释。 Zbl 1455.03011号 达米安·斯穆克;大森,Hitoshi 4 2018 \(\omega\)-不一致,没有切割和非标准模型。 Zbl 1422.03122号 安德烈亚斯·费尔斯塔德 4 2016 混合准完备逻辑和准一致逻辑。 Zbl 1422.03051号 插入符号,Colin 4 2017 深度相关性强。 Zbl 1496.03089号 谢·艾伦·洛根 4 2021 从悖论到判断:走向表达的形而上学。 Zbl 1122.03304号 马里亚姆·塔洛斯 三 2005 不一致性的三个学派。 兹比尔1038.03007 田中,Koji 三 2003 子结构算术模型。 Zbl 1330.03055号 格雷格·雷斯塔尔 三 2011 量化S5中的一级公式。 Zbl 1330.03049号 阿拉斯代尔·厄克哈特 三 2015 关于逻辑引入的反例外主义。 Zbl 1456.00109号 三 2019 威廉姆森反对非经典逻辑的新奎宁论证。 Zbl 1456.03007号 比尔,Jc 三 2019 蕴涵及相关含义的语义分析。一、。 Zbl 1455.03025号 理查德·劳特利 三 2018 附近的逻辑信息流BB公司. Zbl 1521.03045号 泰德、安克鲁 三 2021 相关的算术公式。 Zbl 1521.03227号 罗伯特·梅耶(Robert K.Meyer)。 三 2021 对列希涅夫斯基本体论公理基础的一些非标准解释。 Zbl 1122.03003号 拉法·乌尔巴尼亚克 2 2006 直觉逻辑的可能性语义。 Zbl 1058.03015号 克雷斯韦尔,M.J。 2 2004 强制使用基础不完善的模型。 Zbl 1168.03330号 保罗·科拉扎 2 2007 60%证据:Lakatos、证据和副一致性。 Zbl 1168.03309号 牧师,格雷厄姆;尼尔·托马森 2 2007 一些相关逻辑的一阶公式的拒绝系统。 Zbl 1173.03020号 罗斯·T·布雷迪。 2 2008 将亚完备性推广到具有经典公式的系统。 Zbl 1330.03041号 罗斯·T·布雷迪。 2 2011 一些模态相关逻辑的布尔保守扩张结果。 Zbl 1330.03051号 埃德温·马雷斯(Edwin D.Mares)。;田中,Koji 2 2011 添加相关限制量化。 Zbl 1330.03050号 比尔,Jc 2 2011 关于人工制品和真实保存。 兹比尔1330.03026 肖恩·斯坦德弗 2 2015 关于逻辑的反例外主义。 Zbl 1456.03016号 阅读,斯蒂芬 2 2019 论集合论中的证明形式。 Zbl 1477.03002号 尼尔·巴顿;克劳迪奥·特努洛;乔治·文丘里 2 2020 论证方案的合理性。 Zbl 1074.03503号 道格拉斯·沃尔顿 2 2005 I级和II级组合子的基本相关理论。 Zbl 1073.03011号 帕尔·库什克;罗伯特·梅耶(Robert K.Meyer)。 2 2005 关于逻辑的全血反例外主义。 Zbl 1455.03005号 牛顿·C·A·达·科斯塔。;乔纳斯·R·贝克尔·阿伦哈特。 2 2018 关于牧师血液学的笔记。 Zbl 1455.03004号 科特诺尔(Aaron J.Cotnoir)。 2 2018 收缩和修订。 Zbl 1422.03057号 肖恩·斯坦德弗 2 2016 二维表格。 Zbl 1422.03033号 大卫·R·吉尔伯特。 2 2016 通过分解实现相关性:一个项目,一些结果,一个开放性问题。 Zbl 1422.03039号 戴维·梅金森 2 2017 推论作为强词夺理的代理。二: 牺牲和改进。 Zbl 1422.03026号 格里戈里·奥尔霍维科夫。;海因里希·万兴 2 2017 一级碎片的不可表达性。 Zbl 1122.03030号 威廉·C·珀迪。 1 2006 《牧师的自然推导》,非经典逻辑导论。 Zbl 1122.03031号 罗伊,托尼 1 2006 不一致和不完整Necker立方体的分析。 Zbl 1122.03028号 克里斯·莫滕森 1 2006 双信封悖论的经典版本和马克西明版本。 Zbl 1052.03511号 布鲁斯·兰特里 1 2004 模态谓词。 Zbl 1056.03005号 安德烈亚·伊科纳 1 2004 与Meyer-Routley系统(B^+\)相关的交集型系统和逻辑。 兹伯利1048.03012 马丁·邦德 1 2003 Church-Rosser特性和交点类型。 Zbl 1166.03005号 乔治·科莱索斯;乔治·斯塔夫里诺斯 1 2008 事实和命题的论点崩塌。 Zbl 1168.03311号 乔丹·霍华德·索贝尔 1 2008 用一种抽象的方法来推理带有错误和不断变化的信念的游戏。 Zbl 1173.03015号 Löwe,Benedikt公司;埃里克·帕奎特 1 2008 关于恒等式和高阶量化的注记。 Zbl 1330.03069号 拉法·乌尔巴尼亚克 1 2009 可翻译的自我参照。 Zbl 1330.03025号 哈特利·斯莱特 1 2011 等价关系的Fraenkel-Carnap问题。 Zbl 1330.03033号 乔治·韦弗;伊雷娜·佩内夫 1 2011 模态非存在:跨世界身份、认同和个性化。 Zbl 1330.03012号 弗朗西斯科·贝尔托 1 2014 代表对应方。 Zbl 1330.03039号 安德鲁·培根 1 2014 透明真理理论的二值逻辑。 Zbl 1330.03068号 卢卡斯·丹尼尔·罗森布拉特 1 2015 修剪树木:牧师的四条非分支规则非经典逻辑导论. Zbl 1330.03067号 玛丽琳·约翰逊 1 2015 偶然性的两种时间逻辑。 Zbl 1330.03038号 马蒂奥·帕斯库奇 1 2015 逻辑理论选择。 Zbl 1456.03015号 牧师,格雷厄姆 1 2019 LP中的有序对语义和否定。 兹比尔1477.03088 马修·克莱门斯 1 2020 对应于经典逻辑结果的非传递性相关蕴涵。 Zbl 1456.03043号 彼得·弗代尔;Inge De Bal公司;亚历克桑德拉·萨莫内克 1 2019 贝里的悖论……又一次。 Zbl 1456.03014号 牧师,格雷厄姆 1 2019 胶子理论:存在与虚无。 Zbl 1456.03020号 贝纳姆·佐尔加德 1 2019 博莱西-多斯泰克逻辑。 Zbl 1456.03032号 丹尼尔·罗内达尔 1 2019 唐克反击。 Zbl 1074.03001号 丹尼斯·邦内;本杰明·西蒙诺尔 1 2005 无布尔否定的常域量化模态逻辑。 Zbl 1073.03009号 格雷格·雷斯塔尔 1 2005 关于负析取性质。 Zbl 1455.03035号 克雷格·格雷厄姆·麦凯 1 2018 对Routey的超逻辑程序的反思。 Zbl 1455.03007号 丹尼尔·诺兰 1 2018 逻辑上不可能的世界。 Zbl 1455.03012号 田中,Koji 1 2018 巴亚特和卡纳普的世界和模型。 Zbl 1422.03031号 马克斯·克雷斯韦尔。 1 2016 走向非一致性调查。 Zbl 1422.03050号 堪萨斯州巴什肯特 1 2016 免疫逻辑。 Zbl 1521.03049号 布鲁诺·达雷;达米安·斯穆克 7 2021 深度相关性强。 Zbl 1496.03089号 谢·艾伦·洛根 4 2021 逻辑中的信息流BB公司. 兹比尔1521.03045 特德,安克鲁 三 2021 相关的算术公式。 Zbl 1521.03227号 罗伯特·梅耶(Robert K.Meyer)。 三 2021 埃伦菲奇-弗雷塞无身份游戏。 Zbl 1521.03061号 阿拉斯代尔·厄克哈特 1 2021 使用广义弱Kleene逻辑构建的严格/容忍逻辑。 Zbl 1496.03100号 配件,梅尔文 1 2021 相关算法。 Zbl 1521.03043号 罗伯特·梅耶(Robert K.Meyer)。 1 2021 不要说我们不该说的话。 Zbl 1521.03226号 谢·艾伦·洛根;格雷厄姆·利奇·克鲁斯 1 2021 将元推理转换为公式:满足操作符和序列计算。 Zbl 1496.03091号 阿里尔·乔纳森·罗菲;费德里科·佩洛斯 1 2021 论集合论中的证明形式。 Zbl 1477.03002号 尼尔·巴顿;克劳迪奥·特努洛;乔治·文丘里 2 2020 LP中的有序对语义和否定。 Zbl 1477.03088号 马修·克莱门斯 1 2020 什么是逻辑理论的证据? Zbl 1456.03011号 奥勒·托马斯·霍特兰 7 2019 关于半格关联逻辑关联性的注记。 Zbl 1456.03044号 耶鲁大学维斯 6 2019 反对逻辑推理的反思平衡。 Zbl 1456.03018号 杰克·伍兹 4 2019 相关含义和有序几何。 Zbl 1456.03042号 阿拉斯代尔·厄克哈特 4 2019 关于逻辑引入的反例外主义。 Zbl 1456.00109号 三 2019 威廉姆森反对非经典逻辑的新奎宁论证。 Zbl 1456.03007号 比尔,Jc 三 2019 关于逻辑的反例外主义。 兹比尔1456.03016 阅读,斯蒂芬 2 2019 逻辑理论选择。 Zbl 1456.03015号 牧师,格雷厄姆 1 2019 对应于经典逻辑结果的非及物相关蕴涵。 Zbl 1456.03043号 彼得·弗代尔;Inge De Bal公司;亚历克桑德拉·萨莫内克 1 2019 贝里的悖论……又一次。 Zbl 1456.03014号 牧师,格雷厄姆 1 2019 胶子理论:存在与虚无。 Zbl 1456.03020号 贝纳姆·佐尔加德 1 2019 博莱西-多斯泰克逻辑。 Zbl 1456.03032号 丹尼尔·罗内达尔 1 2019 否定作为取消、连接逻辑和qLPm。 Zbl 1455.03033号 海因里希·万兴;丹尼尔·斯科特 19 2018 遵循组件同质性的相关逻辑。 Zbl 1453.03019号 罗伯托·齐尼;达米安·斯穆克;托马斯·麦考利·弗格森 10 2018 超一致性及其哲学解释。 Zbl 1455.03031号 爱德华多·巴里奥;布鲁诺·达雷 7 2018 关于Lloyd Humberstone的一些观点的注释模态逻辑的哲学应用. Zbl 1455.03019号 史蒂文·库恩(Steven T.Kuhn)。;布莱恩·威瑟森 4 2018 两份手稿,一份是Routey-Meyer的,另一份是相关逻辑的Routey-Mayer语义的起源。 Zbl 1455.03023号 比姆博,卡塔林;乔恩·迈克尔·邓恩;尼古拉斯·费伦茨 4 2018 关于戈达德和劳特利意义逻辑的注释。 Zbl 1455.03011号 达米安·斯穆克;大森,Hitoshi 4 2018 蕴涵及相关含义的语义分析。一、。 Zbl 1455.03025号 理查德·劳特利 三 2018 关于逻辑的全血反例外主义。 Zbl 1455.03005号 牛顿·C·A·达·科斯塔。;乔纳斯·R·贝克尔·阿伦哈特。 2 2018 关于牧师礼仪的注释。 兹比尔1455.03004 Cotnoir,Aaron J。 2 2018 关于负析取性质。 Zbl 1455.03035号 克雷格·格雷厄姆·麦凯 1 2018 对Routey的超逻辑程序的反思。 Zbl 1455.03007号 丹尼尔·诺兰 1 2018 逻辑上不可能的世界。 Zbl 1455.03012号 田中,Koji 1 2018 没有逻辑上的否定:真、假、两者都有,两者都没有。 Zbl 1422.03003号 比尔,Jc 8 2017 什么如果? 对一个想法的探索。 Zbl 1422.03053号 牧师,格雷厄姆 7 2017 非经典逻辑中的斯科勒姆函数。 Zbl 1422.03056号 Ø戈尔,托雷·费特兰 5 2017 未知真理和错误信念逻辑的邻域语义。 Zbl 1422.03025号 大卫·R·吉尔伯特。;乔治·文丘里 5 2017 混合准完备逻辑和准一致逻辑。 Zbl 1422.03051号 插入符号,Colin 4 2017 通过分解实现相关性:一个项目,一些结果,一个开放性问题。 Zbl 1422.03039号 戴维·梅金森 2 2017 推论作为强词夺理的代理。二: 牺牲和改进。 Zbl 1422.03026号 格里戈里·奥尔霍维科夫。;海因里希·万兴 2 2017 FDE范围。 Zbl 1422.03054号 丹尼尔·斯科特 1 2017 反可能性的语义。 Zbl 1423.03038号 耶鲁大学维斯 1 2017 离题:弱克莱恩逻辑的新解释。 Zbl 1422.03044号 比尔,Jc 19 2016 关联逻辑:开放和封闭的问题。 Zbl 1422.03040号 阿拉斯代尔·厄克哈特 5 2016 \(\omega\)-不一致,没有切割和非标准模型。 Zbl 1422.03122号 安德烈亚斯·费尔斯塔德 4 2016 收缩和修订。 兹比尔1422.03057 肖恩·斯坦德弗 2 2016 二维表格。 Zbl 1422.03033号 大卫·R·吉尔伯特。 2 2016 巴亚特和卡纳普的世界和模型。 Zbl 1422.03031号 马克斯·克雷斯韦尔。 1 2016 走向非一致性调查。 Zbl 1422.03050号 堪萨斯州巴什肯特 1 2016 亚结构否定。 Zbl 1330.03053号 大尾,Takuro 6 2015 量化S5中的一级公式。 Zbl 1330.03049号 阿拉斯代尔·厄克哈特 三 2015 关于人工制品和真实保存。 Zbl 1330.03026号 肖恩·斯坦德弗 2 2015 透明真理理论的二值逻辑。 Zbl 1330.03068号 卢卡斯·丹尼尔·罗森布拉特 1 2015 修剪树木:牧师的四条非分支规则非经典逻辑导论. Zbl 1330.03067号 玛丽琳·约翰逊 1 2015 偶然性的两种时间逻辑。 Zbl 1330.03038号 马蒂奥·帕斯库奇 1 2015 多元逻辑。 Zbl 1330.03058号 牧师,格雷厄姆 14 2014 无事生非。 Zbl 1330.03022号 牧师,格雷厄姆 6 2014 幂矩阵和Dunn-Belnap语义:对Graham Priest一句话的反思。 Zbl 1330.03057号 劳埃德·亨伯斯通 5 2014 鉴别器逻辑(研究公告)。 Zbl 1330.03096号 马修·斯宾克斯;罗伯特·毕格纳尔。;罗伯特·韦洛夫 5 2014 模态非存在:跨世界身份、认同和个性化。 Zbl 1330.03012号 弗朗西斯科·贝尔托 1 2014 代表对应方。 Zbl 1330.03039号 培根,安德鲁 1 2014 没有收缩规则和剩余格的逻辑。 兹比尔1330.03054 小野,Hiroakira 10 2011 箱点猜想和本质与偶然的语言。 Zbl 1330.03048号 克里斯托弗·斯坦斯沃尔德 7 2011 模糊逻辑。 Zbl 1330.03064号 约翰·斯拉尼 4 2011 其他同等推理的灵活性。 Zbl 1330.03023号 杰里米·塞利格曼;帕特里克·吉拉德 4 2011 子结构算术模型。 Zbl 1330.03055号 格雷格·雷斯塔尔 三 2011 将亚完备性推广到具有经典公式的系统。 Zbl 1330.03041号 罗斯·T·布雷迪。 2 2011 一些模态相关逻辑的布尔保守扩张结果。 Zbl 1330.03051号 埃德温·马雷斯(Edwin D.Mares)。;田中,Koji 2 2011 添加相关限制量化。 Zbl 1330.03050号 比尔,Jc 2 2011 可翻译的自我参照。 Zbl 1330.03025号 哈特利·斯莱特 1 2011 等价关系的Fraenkel-Carnap问题。 Zbl 1330.03033号 乔治·韦弗;伊雷娜·佩内夫 1 2011 互补与对偶直觉逻辑。 Zbl 1330.03097号 路易斯·埃斯特拉达·冈萨雷斯 5 2010 模态逻辑中箱点平移猜想的部分验证。 Zbl 1330.03044号 法语、罗汉语;劳埃德·亨伯斯通 5 2009 作为形而上学原则的非传统法则。 Zbl 1330.03027号 Tuomas E.塔科。 4 2009 关于恒等式和高阶量化的注记。 Zbl 1330.03069号 拉法·乌尔巴尼亚克 1 2009 逻辑动力学与逻辑多元主义相遇? Zbl 1168.03313号 约翰·范·本特姆 11 2008 模棱两可:为什么不呢? 兹比尔1168.03323 多米尼克·海德;马克·科利文 6 2008 范畴抽象代数逻辑:等价的机构。 Zbl 1166.03041号 乔治·沃萨达基斯 4 2008 模态公式在每个模型的某些点上都是正确的。 Zbl 1168.03011号 劳埃德·亨伯斯通 4 2008 逻辑多元主义荷兰化。评论:“逻辑动力学与逻辑多元主义相遇?”。 Zbl 1168.03308号 牧师,格雷厄姆 4 2008 一些相关逻辑的一阶公式的拒绝系统。 Zbl 1173.03020号 罗斯·T·布雷迪。 2 2008 Church-Rosser特性和交点类型。 Zbl 1166.03005号 乔治·科莱索斯;乔治·斯塔夫里诺斯 1 2008 事实和命题的论点崩塌。 Zbl 1168.03311号 乔丹·霍华德·索贝尔 1 2008 用一种抽象的方法来推理带有错误和不断变化的信念的游戏。 Zbl 1173.03015号 Löwe,Benedikt公司;埃里克·帕奎特 1 2008 麦肯锡-莱蒙的逻辑几乎不规范。 Zbl 1168.03320号 罗伯特·戈德布拉特;伊恩·霍德金森 8 2007 四个变量就足够了。 Zbl 1168.03013号 阿拉斯代尔·厄克哈特 4 2007 强制使用基础不完善的模型。 Zbl 1168.03330号 保罗·科拉扎 2 2007 60%证据:Lakatos、证据和副一致性。 Zbl 1168.03309号 牧师,格雷厄姆;尼尔·托马森 2 2007 违规逻辑:一种Gentzen系统,用于与义务相反的推理。 Zbl 1122.03013号 圭多州长;安东尼诺·罗托洛 16 2006 对列希涅夫斯基本体论公理基础的一些非标准解释。 Zbl 1122.03003号 拉法·乌尔巴尼亚克 2 2006 一阶片段的不表达。 兹比尔1122.03030 威廉·珀迪。 1 2006 《牧师的自然推导》,非经典逻辑导论。 Zbl 1122.03031号 罗伊,托尼 1 2006 不一致和不完整Necker立方体的分析。 Zbl 1122.03028号 克里斯·莫滕森 1 2006 用Hintikka打牌:动态认知逻辑导论。 Zbl 1122.03010号 van Ditmarsch,H.P。;范德霍克,W。;Kooi,B.P。 24 2005 从悖论到判断:走向表达的形而上学。 Zbl 1122.03304号 玛丽亚姆·塔洛斯 三 2005 论证方案的合理性。 Zbl 1074.03503号 道格拉斯·沃尔顿 2 2005 I级和II级组合子的基本相关理论。 Zbl 1073.03011号 帕尔·库什克;罗伯特·梅耶(Robert K.Meyer)。 2 2005 唐克反击。 Zbl 1074.03001号 丹尼斯·邦内;本杰明·西蒙诺尔 1 2005 …还有7个文档 所有引用的出版物 前5名被引用出版物 全部的 前5名318位作者引用 9 汉斯·皮特 9 海因里希·西奥多 8 大森,Hitoshi 7 路易斯·埃斯特拉达·冈萨雷斯 7 牧师,格雷厄姆 7 肖恩·斯坦德弗 6 圭多州长 6 杰里米亚·乔文·乔金(Jeremiah Joven B.Joaquin)。 5 米歇尔·普拉·巴尔迪 5 斯特凡诺·邦齐奥 5 范洁 5 雅罗斯拉夫·伊戈列维奇·彼得鲁金 5 达米安·恩里克·斯穆克 5 耶鲁大学维斯 4 托马斯·麦考利·弗格森 4 安德烈亚斯·赫齐格 4 伊恩·马丁·霍德金森 4 劳埃德·亨伯斯通 4 弗朗西斯科·保利 4 格雷格·雷斯塔尔 4 杰玛·罗伯斯 4 安东尼诺·罗托洛 4 马修·斯宾克斯 4 安德鲁·特德 4 van Benthem,Johan F.A.K。 4 乔治·文丘里 4 乔治·沃萨达基斯 4 扎克·韦伯 三 乔纳斯·拉斐尔·贝克尔·阿伦哈特 三 爱德华多·亚历杭德罗·巴里奥 三 比尔,Jc 三 亚历克斯·贝里科夫 三 罗斯·托马斯·布雷迪 三 布鲁诺·达雷 三 尼古拉斯·费伦茨 三 帕特里克·R·吉拉德。 三 罗伯特·伊恩·戈德布拉特 三 祖扎娜·哈尼科娃 三 亚历山大·库克里克(Alexander W.Kocurek)。 三 巴特尔·皮特·库伊 三 洛根,谢·艾伦 三 埃米利亚诺·洛里尼 三 何塞·梅恩德斯。 三 弗杰特兰托雷 三 弗朗西斯科·奥利维里 三 格里戈里·奥尔霍维科夫。 三 费德里科·马蒂亚斯 三 卢卡斯·丹尼尔·罗森布拉特 2 阿洛,帕特里克 2 吉列尔莫·巴迪亚 2 埃德森·维尼希乌斯·贝泽拉 2 比姆博,卡塔林 2 托马斯·博兰德 2 维罗尼察博尔贾·马西亚斯 2 马西米利亚诺·卡拉拉 2 马塞洛·埃斯特班(Marcelo Esteban Coniglio) 2 维托尔·桑托斯·科斯塔 2 科特诺尔(Aaron J.Cotnoir)。 2 克里斯塔尼·马特奥 2 蒂亚戈,德利马 2 谢尔盖·德罗比舍维奇 2 塞巴斯蒂安·恩奎斯特 2 卡米洛·菲奥雷 2 马里奥弗洛里多 2 尼西姆·弗朗西兹 2 诺伯特·格拉茨 2 亚历杭德罗·埃尔南德斯·特洛 2 安德烈亚斯·卡普斯纳 2 斯坦尼斯拉夫·基科特 2 法比奥·兰伯特 2 安东尼奥·莱达 2 卡莱斯·诺格拉 2 大尾,Takuro 2 奥兰德利,尤金尼奥 2 雅罗斯拉夫·佩雷格林 2 阿比利奥·罗德里格斯 2 西蒙·斯坎纳皮科 2 格哈德·舒尔茨 2 Takahiro Seki 2 杰里米·塞利格曼。 2 丹尼尔·斯科特 2 弗拉迪米尔·斯沃博达 2 马库斯·安东尼·特里普特 2 阿拉斯代尔·厄克哈特 2 范德霍克,威比 2 阿奇尔·瓦尔齐(Achille C.Varzi)。 2 熊、左军 2 埃莉亚·扎迪尼 1 阿里·阿巴斯内扎德 1 托马斯·奥戈特内斯 1 斯特凡诺·阿古佐利 1 阿巴斯·阿赫桑 1 玛丽亚·阿隆尼 1 恩里克·安图内斯 1 卡洛斯·阿雷塞斯 1 纪尧姆拍卖行 1 阿诺·阿夫隆 1 塞萨尔·巴托里尼 1 堪萨斯州巴什肯特 1 迈克尔·鲍姆加特纳 …还有218位作者 全部的 前5名36种期刊引用 42 哲学逻辑杂志 36 合成 29 Studia Logica公司 23 逻辑与逻辑哲学 14 泛逻辑 13 应用非经典逻辑杂志 12 符号逻辑述评 11 圣母院形式逻辑杂志 8 逻辑、语言与信息杂志 5 逻辑历史与哲学 5 Logicheskie Issledovaniya逻辑 4 逻辑科公报 4 纯逻辑与应用逻辑年鉴 三 模糊集与系统 三 数学逻辑季刊(MLQ) 2 代数普遍性 2 符号逻辑杂志 2 数学逻辑档案 2 符号逻辑公报 2 软计算 2 埃尔肯特尼斯 2 逻辑程序设计理论与实践 1 人工智能 1 剑桥哲学学会数学进展杂志 1 数学基础 1 阿根廷马特马提卡大学修订版 1 理论计算机科学 1 订单 1 信息与计算 1 国际近似推理杂志 1 澳大利亚和新西兰统计杂志 1 逻辑与代数程序设计杂志 1 澳大利亚数学学会杂志 1 应用逻辑杂志 1 公理 1 离散与应用数学的艺术 全部的 前5名16个领域引用 288 数理逻辑与基础(03-XX) 44 计算机科学(68至XX) 9 历史和传记(01-XX) 9 阶、格、有序代数结构(06-XX) 8 总体主题;集合(00-XX) 7 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 6 范畴理论;同调代数(18-XX) 5 一般代数系统(08-XX) 三 一般拓扑结构(54至XX) 2 拓扑群、李群(22日至XX日) 2 概率论与随机过程(60-XX) 2 统计学(62-XX) 1 组合数学(05-XX) 1 近似和展开(41至XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文