雅罗斯拉夫·什兰科;海因里希·瓦辛 隐含的本质:一种信息方法。 (英语) 兹比尔1525.03082 合成 198,补遗22,S5241-S5261(2021); 更正同上,198,补编22,5263-5264(2021)。MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sharmko}和\textit{H.Wansing},合成198,S5241--S5261(2021;Zbl 1525.03082) 全文: 内政部
汉斯·范·迪特马什;索菲亚·奈特;艾比克·厄兹根 作为拓扑空间上的工作进行公告。 (英语) Zbl 1475.03075号 合成 196,第7期,2927-2969(2019).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Synthese 196,No.7,2927-2969(2019;Zbl 1475.03075) 全文: 内政部
苏加塔·戈什;韦布鲁克(Rineke Verbrugge) 研究策略和玩家类型:实验、逻辑和认知模型。 (英语) Zbl 1452.03081号 合成 195,第10号,4265-4307(2018).MSC公司:03B80号 03B42号 03B60号 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghosh}和\textit{R.Verbrugge},综合195,第10期,4265-4307(2018;Zbl 1452.03081) 全文: 内政部
弗拉迪米尔·斯沃博达 道义逻辑的路易斯分类法。 (英语) 兹比尔1398.03041 合成 195,第7号,3241-3266(2018).MSC公司:03A05号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{V.Svoboda},综合195,第7期,3241-3266(2018;Zbl 1398.03041) 全文: 内政部
精木赤山;Tetsuya村井;工藤雅硕 时态逻辑中对未来偶然事件的部分和次协调方法。 (英语) Zbl 1396.03023号 合成 193,第11号,3639-3649(2016).MSC公司:03B44号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.Akama}等人,Synthese 193,编号113639-3649(2016;Zbl 1396.03023) 全文: 内政部
朱利安·布拉德菲尔德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 部分顺序布尔博弈:基于逻辑的战略互动模型中的信息独立性。 (英语) Zbl 1397.91017号 合成 193,第3期,781-811(2016).MSC公司:91A10号 03B60号 03B70号 2017年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bradfield}等人,Synthese 193,No.3,781--811(2016;Zbl 1397.91017) 全文: 内政部 链接
萨恩多·瓦莱伊 关于一些一阶时空理论的公理化。 (英语) Zbl 1357.03068号 合成 192,第7号,2293-2309(2015).MSC公司:03B80号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Vályi},Synthese 192,No.7,2293--2309(2015;Zbl 1357.03068) 全文: 内政部
塞德里克·德格雷蒙特;Lena Kurzen;贾库布·西曼尼克 探索认知任务中的顺从边界。 (英语) Zbl 1310.03022号 合成 191,第3号,371-408(2014).MSC公司:03B42号 65年第68季度 68T27型 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{C.Dégremont}等人,Synthese 191,No.3,371--408(2014;Zbl 1310.03022) 全文: 内政部
所罗门·费弗曼 以此类推……:用无限图进行推理。 (英语) Zbl 1274.00016号 合成 186,编号1371-386(2012).MSC公司:00A35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Feferman},Synthese 186,No.1,371--386(2012;Zbl 1274.00016) 全文: 内政部
孙柔欣 被遗忘的个体:数学中的图解推理。 (英语) Zbl 1274.00019号 合成 186,第1期,149-168(2012).MSC公司:00A35型 PDF格式BibTeX公司 XML格式引用 \textit{S.-J.Shin},Synthese 186,No.1,149--168(2012;Zbl 1274.00019) 全文: 内政部
格雷戈·贝茨 从辩证结构理论看佩蒂奥原理和循环论证。 (英语) Zbl 1206.03004号 合成 175,第3期,327-349(2010).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{G.Betz},Synthese 175,No.3,327--349(2010;Zbl 1206.03004) 全文: 内政部
Sebastian红杉-Grayson 推理信息的正信息逻辑。 (英语) Zbl 1171.03304号 合成 167,第2期,409-431(2009).MSC公司:03A05号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{S.红杉-Grayson},Synthese 167,No.2,409--431(2009;Zbl 1171.03304) 全文: 内政部
安格尔,斯塔凡 连贯主义辩护的可取消性。 (英语) Zbl 1125.03002号 合成 157,第3号,321-335(2007).MSC公司:03A05号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{S.Angere},综合157,No.3,321--335(2007;Zbl 1125.03002) 全文: 内政部
杰里米·阿维加德 数学方法和证明。 (英语) Zbl 1116.03012号 合成 153,第1期,105-159(2006). 审核人:Reinhard Kahle(科英布拉) MSC公司:03B35型 00A30型 00A35型 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad},综合153,第1期,第105-159页(2006;Zbl 1116.03012) 全文: 内政部 链接
弗洛里迪,L。 关于Gettier问题的逻辑不可解性。 (英语) Zbl 1062.03503号 合成 142,第1期,61-79(2004).MSC公司:03A05号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{L.Floridi},Synthese 142,No.1,61--79(2004;Zbl 1062.03503) 全文: 内政部
阿尔比,迈克尔·A。;欧内斯特·马内斯。 模糊世界中系统的分类理论方法。 (英语) Zbl 03011.8002号 合成 30, 381-406 (1975).MSC公司:18B20型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Arbib}和\textit{E.G.Manes},《合成》30381-406(1975年;Zbl 0301.18002) 全文: 内政部