约翰内斯·马蒂 对于平面中的凸性,条件逻辑是完整的。 (英语) Zbl 1525.03071号 版本符号。日志。 16,第2期,529-552(2023). 审核人:Xavier父母(维也纳) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Marti},版本:Symb。日志。16,编号2,529--552(2023;Zbl 1525.03071) 全文: 内政部 arXiv公司
劳尔·费尔瓦里;贝拉斯克斯·奎萨达,费尔南多·R。;王燕京 用于了解逻辑的相互模拟。 (英语) Zbl 1505.03044号 版本符号。日志。 15,编号2,450-486(2022). 审核人:埃里克·马丁(悉尼) MSC公司:03B42号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Fervari}等人,Rev.Symb。日志。15,编号2,450-486(2022;Zbl 1505.03044) 全文: 内政部
伊拉里亚州卡纳沃托;弗朗西斯科·贝尔托;亚历山德罗·佐丹尼 自愿想象:细粒度分析。 (英语) Zbl 1525.03059号 版本符号。日志。 15,第2期,362-387(2022). 审核人:毛里西奥·里斯(Funchal) MSC公司:03B42号 03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{I.Canavotto}等人,Rev.Symb。日志。15,编号2,362--387(2022;Zbl 1525.03059) 全文: 内政部
林汉蒂 趋同真理的模式:迈向更好的归纳认识论。 (英语) Zbl 1512.03031号 版本符号。日志。 15,编号2,277-310(2022). 审核人:吉尔根·兰德斯(慕尼黑) MSC公司:03B48号 03B45号 68问题32 2015年1月62日 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{H.Lin},版本:Symb。日志。15,第2号,277--310(2022;Zbl 1512.03031) 全文: 内政部
佐埃·克里斯托夫;诺伯特·格拉茨;罗伊,奥利维尔 优先合并和交叉口模式。 (英语) Zbl 1529.03127号 版本符号。日志。 第1期第15页,165-196(2022).MSC公司:03B42号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Christoff}等人,Rev.Symb。日志。15,编号1,165--196(2022;Zbl 1529.03127) 全文: 内政部
艾比克·厄兹根;弗朗西斯科·贝尔托 动态超内涵信念修正。 (英语) Zbl 1484.03027号 版本符号。日志。 14,编号3,766-811(2021); 勘误表同上,第14号,第4,1088(2021)。 审核人:David Makinson(伦敦) MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{A.Özgün}和\textit{F.Berto},Rev.Symb。日志。14,第3号,766--811(2021;Zbl 1484.03027) 全文: 内政部
保罗·埃格里;保罗·马蒂;布莱恩·雷恩 知识、理由和充分的理由。 (英语) Zbl 1484.03024号 版本符号。日志。 14,第3期,687-727(2021); 勘误表同上,第14号,第1089(2021)。 审核人:David Makinson(伦敦) MSC公司:03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.égré}等人,Rev.Symb。日志。14,第3号,687--727(2021;Zbl 1484.03024) 全文: 内政部 arXiv公司
亚当·比约恩达尔;艾比克·厄兹根 知识、知识性和信念的逻辑和拓扑。 (英语) Zbl 1473.03010号 版本符号。日志。 13,第4期,748-775(2020年). 审核人:埃里克·马丁(悉尼) MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bjorndahl}和\textit{A.Özgün},西蒙牧师。日志。13,第4号,748--775(2020;Zbl 1473.03010) 全文: 内政部 arXiv公司
穆罕默德·哈立德;谢凯利(Székely,Gergely);科恩Lefen;朋友,米歇尔 形式理论之间的距离。 (英语) Zbl 1485.03079号 版本符号。日志。 13,第3号,633-654(2020年).MSC公司:03B80号 03A10号 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{M.Khaled}等人,Rev.Symb。日志。13,编号3,633--654(2020;Zbl 1485.03079) 全文: 内政部 arXiv公司
马明辉;汉斯·范·迪特马什 动态分级认知逻辑。 (英语) Zbl 1532.03018号 版本符号。日志。 第12号,第4号,663-684(2019).MSC公司:03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ma}和\textit{H.van Ditmarsch},Rev.Symb。日志。12,第4号,663--684(2019;Zbl 1532.03018) 全文: 内政部
玛丽安娜·吉兰多;萨拉·内格里;尼古拉·奥利维蒂;文森特·里希 条件信念:从邻域语义到序列演算。 (英语) Zbl 1445.03015号 版本符号。日志。 11,第4期,736-779(2018). 审核人:埃里克·马丁(悉尼) MSC公司:03B42号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Girlando}等人,Rev.Symb。日志。11,编号4,736-779(2018;兹bl 1445.03015) 全文: 内政部
贝尔科娃,玛尔塔;朱塞佩·格雷科;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;纳乔姆·维恩伯格 资源和能力的逻辑。 (英语) Zbl 1506.03065号 版本符号。日志。 11,第2号,371-410(2018).MSC公司:03B42号 03B20型 03B60号 03B45号 05年3月 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.Bílková}等人,Rev.Symb。日志。11,第2号,371--410(2018;Zbl 1506.03065) 全文: 内政部 arXiv公司
范洁;王燕京;汉斯·范·迪特马什 应急和是否知道。 (英语) Zbl 1375.03023号 版本符号。日志。 8,第1期,75-107(2015).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Fan}等人,Rev.Symb。日志。8,第1号,75-107(2015;Zbl 1375.03023) 全文: 内政部
汉内斯·莱特盖布 反事实的概率语义学。A部分。 (英语) Zbl 1253.03009号 版本符号。日志。 5,第1期,26-84(2012).MSC公司:03A05号 03A10号 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{H.Leitgeb},版本符号。日志。5、第1号、第26--84号(2012;Zbl 1253.03009) 全文: 内政部
巴特尔·库伊;布莱恩·雷恩 箭头更新逻辑。 (英语) Zbl 1252.03034号 版本符号。日志。 第4期,第4期,第536-559页(2011年).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{B.Kooi}和\textit{B.Renne},Rev.Symb。日志。4,第4号,536--559(2011;Zbl 1252.03034) 全文: 内政部
梅赫努什·萨德扎德;罗伊·戴克霍夫 伴随形式的正逻辑:证明理论、语义和信息推理。 (英语) 兹比尔1211.03040 版本符号。日志。 3,第3号,351-373(2010).MSC公司:03B45号 03B42号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Sadrzadeh}和\textit{R.Dyckhoff},版本:Symb。日志。3、编号3、351--373(2010;Zbl 1211.03040) 全文: 内政部
菲利普·巴尔比亚尼;亚历山大·巴尔塔格;汉斯·范·迪特马什;安德烈亚斯·赫齐格;Tomohiro Hoshi;蒂亚戈,德利马 “已知”即“公告后已知”。 (英语) Zbl 1208.03019号 版本符号。日志。 1,第3号,305-334(2008). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,Rev.Symb。日志。1,第3号,305-334(2008;Zbl 1208.03019) 全文: 内政部