马特乌斯·克洛诺夫斯基;Krawczyk、Krzysztof Aleksander;皮埃塔,博埃纳 认识位置逻辑的Tableau系统。 (英语) Zbl 1529.03134号 牛市。第节。日志。,大学后勤部。 50,编号2,177-204(2021).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.Klonowski}等人,公牛。第节。日志。,大学后勤部。50,编号2,177--204(2021;Zbl 1529.03134) 全文: 内政部
卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里 基于SAT的LTL单程树形表系统编码。 (英语) Zbl 1435.68368号 Cerrito,Serenella(编辑)等人,《使用分析表和相关方法的自动推理》。第28届国际会议,2019年9月3日至5日,英国伦敦,TABLEAUX 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11714, 3-20 (2019).MSC公司:68伏15 03B44号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人,Lect。注释计算。科学。11714,3--20(2019;Zbl 1435.68368) 全文: 内政部 链接
马明辉 一些亚直觉逻辑的标签表系统。 (英语) 兹伯利1472.03017 日志。Univers大学。 13,第2号,273-288(2019).MSC公司:03B45号 03B20型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Ma},日志。Univers大学。13,No.2,273--288(2019;Zbl 1472.03017) 全文: 内政部
多罗塔·莱斯琴斯卡·贾西翁;马特乌斯·伊格纳扎克;希蒙·克莱博夫斯基 具有切割规则的Rasiowa-Sikorski演绎系统:案例研究。 (英语) Zbl 1494.03068号 螺柱日志。 107,第2期,313-349(2019).MSC公司:03B53号 05年3月 03B22号 PDF格式BibTeX公司 XML格式引用 \textit{D.Leszczyñska-Jasion}等人,研究日志。107,编号2131-349(2019;兹bl 1494.03068) 全文: 内政部
威廉·汉森。 实用主义、严肃的实用主义和量化的模态逻辑。 (英语) Zbl 1403.03031号 圣母院J.形式逻辑 59,第2期,233-284(2018). 审核人:David Makinson(伦敦) MSC公司:03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hanson},圣母院J.形式逻辑59,No.2,233--284(2018;Zbl 1403.03031) 全文: 内政部
约翰·G·斯特尔。;雷娜特·施密特(Renate A.Schmidt)。;大卫·赖德海尔 双教学模式逻辑:基础和自动化。 (英语) Zbl 1359.03018号 J.日志。阿尔盖布。方法计划。 85,第4号,500-519(2016). 审核人:雅罗斯拉夫·什兰科(Kryvyi Rih) MSC公司:03B44号 03B45号 03B35型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Stell}等人,J.Log。阿尔盖布。方法计划。85,No.4,500--519(2016;Zbl 1359.03018) 全文: 内政部
Hidenori Kurokawa 证明逻辑和可证明性的前缀表系统。 (英语) Zbl 1401.03101号 Galmiche,Didier(编辑)等人,《使用分析表和相关方法的自动推理》。第22届国际会议,TABLEUX 2013,法国南希,2013年9月16日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40536-5/pbk)。计算机科学课堂讲稿8123。《人工智能课堂讲稿》,203-218(2013)。MSC公司:03层45 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kurokawa},莱克特。注释计算。科学。8123203--218(2013;Zbl 1401.03101) 全文: 内政部
弗朗索瓦·施瓦森特鲁伯 LotrecScheme。 (英语) Zbl 1347.68306号 van Ditmarsch,Hans(ed.)等人,《第七届模态方法研讨会论文集》(M4M’2011)和第四届多智能体系统逻辑方面研讨会论文集(LAMAS’2011),西班牙奥苏纳,2011年11月10日至12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》278187-199(2011)。MSC公司:68吨15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Schwarzentruber},电子。注释Theor。计算。科学。278187-199(2011年;Zbl 1347.68306) 全文: 内政部
乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 单体三角模逻辑MTL的对偶表。 (英语) Zbl 1216.03045号 模糊集系统。 162,第1期,39-52(2011). 审核人:米夏·巴琴斯基(卡托维兹) MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{J.Golin ska-Pilarek}和\textit{E.Orłowska},模糊集系统。162,编号1,39-52(2011;Zbl 1216.03045) 全文: 内政部
罗斯·托马斯·布雷迪 自由语义。 (英语) 兹比尔1207.03029 J.菲洛斯。日志。 39,第5期,511-529(2010).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{R.T.Brady},J.Philos。日志。39,第5号,511--529(2010;Zbl 1207.03029) 全文: 内政部
科瓦奇、斯雷奇科 一阶信念和准一致性。 (英语) Zbl 1190.03029号 日志。日志。菲洛斯。 18,第2期,127-143(2009).MSC公司:03B53号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kovač},日志。日志。菲洛斯。18,第2号,127--143(2009;Zbl 1190.03029)
多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 探索直觉BI和布尔BI之间的关系:意外的嵌入。 (英语) Zbl 1169.03024号 数学。结构。计算。科学。 19,第3期,435-500(2009年).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche},数学。结构。计算。科学。19,第3号,435--500(2009;Zbl 1169.03024) 全文: 内政部
达戈斯蒂诺,马塞洛;马塞洛·芬格;Dov Gabbay公司 基于切割的绑架。 (英语) Zbl 1156.03032号 日志。J.IGPL公司 16,第6号,537-560(2008).MSC公司:03B70号 07年3月 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.D'Agostino}等人,日志。J.IGPL 16,第6号,537--560(2008;Zbl 1156.03032) 全文: 内政部 链接
米尔贾纳IsakovićIlić 子结构逻辑的定理证明器。 (英语) Zbl 1199.03003号 出版物。数学研究所。,努夫。Sér。 82(96),55-78(2007). 审核人:佐兰·佩特里奇(贝尔格莱德) MSC公司:03B35型 03B05号 03B20型 03B47号 05年3月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.IsakovićIlić},出版物。数学研究所。,努夫。Sér。82(96),55-78(2007;Zbl 1199.03003) 全文: 内政部 欧洲DML
托马斯·博兰德;托本·布吕纳 基于表的混合逻辑决策过程。 (英语) Zbl 1122.03006号 J.日志。计算。 16,第6期,737-763(2006). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolander}和\textit{T.Braüner},J.Log。计算。16,第6号,737--763(2006;Zbl 1122.03006) 全文: 内政部
莫罗·加塔利 有限和物理模型。 (英语) Zbl 1091.03003号 圣母院J.形式逻辑 46,第4期,425-437(2005). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gattari},圣母院J.形式逻辑46,No.4,425--437(2005;Zbl 1091.03003) 全文: 内政部
路易吉·迪·拉西奥;安东尼奥·吉索尔菲 理性Pavelka逻辑的分级表。 (英语) Zbl 1084.03010号 《国际情报杂志》。系统。 20,第12期,1273-1285(2005).MSC公司:03B35型 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{L.Di Lascio}和\textit{A.Gisolfi},Int.J.Intell。系统。20,第12号,1273——1285(2005;Zbl 1084.03010) 全文: 内政部
艾伦娜·阿塔纳索娃 自动谓词逻辑有效性证明的演绎过程。 (英语) 兹伯利1114.68531 Pipervski,Boro(编辑)等人,马其顿第二届数学家和计算机科学家大会。2000年9月28日至10月1日,马其顿奥赫里德,国会议事录。斯科普里:Sojuz na Matematicharite i Informaticharite na Makedonija。137-144 (2003). 审核人:佐兰·佩特里奇(贝尔格莱德) MSC公司:68吨15 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{I.Atanasova},in:Vtor kongres na matematicharite I informaticharite na Makedonija。斯科普里:Sojuz na Matematicharite i Informaticharite na Makedonija。137——144(2003年;Zbl 1114.68531)
欧内斯特·勒珀尔 意义和论点。通过语言介绍逻辑。修订版。 (英语) Zbl 1078.03001号 牛津:布莱克威尔出版社(ISBN 1-4051-0783-9)。十八、434页。(2003). 审核人:齐格弗里德·戈特瓦尔德(莱比锡) MSC公司:03-01 00A06号 PDF格式BibTeX公司 XML格式引用 \textit{E.Lepore},意义和论点。通过语言介绍逻辑。修订版牛津:布莱克威尔出版社(2003;Zbl 1078.03001)
阿卜杜勒瓦赫布·阿亚里;戴维·巴恩斯 演绎画面的高阶解释。 (英语) Zbl 0972.68509号 J.塞姆。计算。 31,第5期,487-520(2001).MSC公司:68甲18 03B35型 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayari}和\textit{D.Basin},J.Symb。计算。31,第5号,487--520(2001;Zbl 0972.68509) 全文: 内政部 链接
奥尔纳·利希滕斯坦;阿米尔·普努利 命题时态逻辑:可决定性和完备性。 (英语) Zbl 1033.03009号 日志。J.IGPL公司 8,第1号,55-85(2000).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Lichtenstein}和\textit{A.Pnueli},日志。J.IGPL 8,第1期,55--85(2000;Zbl 1033.03009) 全文: 内政部
赫莱梅德尼克,R.V。 线性和分支时间逻辑的应用。一种测试公式可满足性的算法。 (俄语。英文摘要) Zbl 1032.03510号 维斯特。尼日戈罗德。N.I.Lobachevskogo大学,材料模型。最佳方案。向上。 2000年,第1期,176-191(2000).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Khelemednik},韦斯特恩。尼日戈罗德。N.I.Lobachevskogo大学,材料模型。最佳方案。向上。2000年,第1期,176--191(2000;Zbl 1032.03510)
塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 有限帧上命题线性时间逻辑的标签表。 (英语) Zbl 0966.03018号 Basin,David(编辑)等人,标签扣除。基于1998年9月德国弗莱堡LD'98第一次国际研讨会。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。17, 135-159 (2000).MSC公司:03B44号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cerrito}和\textit{M.Cialdea Mayer},应用。日志。序列号。17、135——159(2000;Zbl 0966.03018)
圭多州长;亚历山德罗·卢皮 非正常模态逻辑的标签表。 (英语) Zbl 0961.03016号 Lamma,Evelina(编辑)等人,AI*IA 99:人工智能进展。意大利人工智能协会第六届大会。意大利博洛尼亚,1999年9月14日至17日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1792, 119-130 (2000).MSC公司:03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}和\textit{A.Luppi},Lect。注释计算。科学。1792、119--130(2000年;Zbl 0961.03016)
基亚拉·吉迪尼 建模(非)有界信念。 (英语) Zbl 0943.03014号 Bouquet,Paolo(编辑)等人,《建模和使用上下文》。第二届国际和跨学科会议,CONTEXT’99,意大利特伦托,1999年9月9日至11日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1688, 145-158 (1999).MSC公司:03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{C.Ghidini},莱克特。注释计算。科学。1688145-158(1999;Zbl 0943.03014)
Dov M.加巴伊。;圭多州长 处理标签依赖的道义模式。 (英语) Zbl 0940.03023号 McNamara,P.(编辑)等人,《规范、逻辑和信息系统》。道义逻辑和计算机科学的新研究。1998年1月8日至10日,意大利博洛尼亚,第四次EON研讨会论文选集。阿姆斯特丹:IOS出版社。前面。Artif公司。智力。申请。49, 311-330 (1999).MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{G.Governatori},前面。Artif公司。智力。申请。49、311--330(1999;Zbl 0940.03023)
詹姆斯·考德威尔 提取直觉主义画面。 (英语) Zbl 0932.03008号 Murray,Neil V.(编辑),使用分析表和相关方法进行自动推理。1999年6月7日至11日,美国纽约州萨拉托加斯普林斯,1999年TABLEAUX国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1617, 82-96 (1999).MSC公司:03B35型 68吨15 03B20型 03B25号 PDF格式BibTeX公司 XML格式引用 \文本{J.Caldwell},Lect。注释计算。科学。1617,82-96(1999;Zbl 0932.03008)
配件,梅尔文 一个简单的命题\(\text{S} 5个\)tableau系统。 (英语) Zbl 0972.03017号 Ann.纯粹应用。逻辑 96,编号1-3,107-115(1999). 审核人:V.谢赫特曼(莫斯科) MSC公司:03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},Ann.纯应用。逻辑96,编号1--3,107-115(1999;Zbl 0972.03017) 全文: 内政部
汉斯·尤根·奥巴赫;Dov Gabbay公司 日历逻辑。 (英语) Zbl 0930.03017号 J.应用。非类别。日志。 8,第4期,291-323(1998). 审核人:P.马特拉纳(普拉哈) MSC公司:03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{D.Gabbay},J.Appl。非类别。日志。8,第4号,291--323(1998;Zbl 0930.03017) 全文: 内政部
铃木、安仁 混合多模态逻辑定理证明器在术语重写系统CafeOBJ中的实现。 (英语) Zbl 0935.03020号 RIMS Kokyuroku公司 1021, 96-111 (1997).MSC公司:03B35型 03B45号 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.铃木},RIMS Kokyuroku 1021,96--111(1997;Zbl 0935.03020)
普利乌什凯维奇乌斯,里贾曼塔斯 线性微型Horn-like时序逻辑的饱和表。 (英语) Zbl 0814.03008号 J.汽车。推理 第3期第13期第391-407页(1994年).MSC公司:03B35型 03B45号 03财年03 PDF格式BibTeX公司 XML格式引用 \文本{R.Pliuškevičius},J.Autom。推理13,No.3,391--407(1994;Zbl 0814.03008) 全文: 内政部
哈维尔·利奇;苏珊娜·尼娃 函数和数学用定理证明器的基础。 (英语) Zbl 0798.68152号 J.应用。非类别。日志。 3,第1期,7-38(1993).MSC公司:68吨15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leach}和\textit{S.Nieva},J.Appl。非类别。日志。3,编号1,7--38(1993;Zbl 0798.68152) 全文: 内政部
约尔格·胡德尔梅尔 直觉命题逻辑的(O(n\;\log\;n))空间决策过程。 (英语) Zbl 0788.03010号 J.日志。计算。 3,第1期,63-75(1993).MSC公司:03B25号 2015年3月1日 03B20型 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{J.Hudelmaier},J.Log。计算。3,编号1,63--75(1993;Zbl 0788.03010) 全文: 内政部
安德烈·维尔利诺 分析表和SL分辨率的相对复杂性。 (英语) Zbl 0801.03010号 螺柱日志。 52,第2233-337号(1993年). 审核人:J.Šajda(布拉迪斯拉发) MSC公司:03B35型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Vellino},螺柱日志。52,第2号,323--337(1993;Zbl 0801.03010) 全文: 内政部
亚瑟·巴赫斯鲍姆;塔里西奥·佩奎诺 次协调逻辑的一种推理方法。 (英语) Zbl 0796.03017号 螺柱日志。 52,第2期,281-289(1993). 审核人:I.D’Ottaviano(坎皮纳斯) MSC公司:03B35型 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Buchsbaum}和\textit{T.Pequeno},Stud.Log。52,第2号,281--289(1993;Zbl 0796.03017) 全文: 内政部
配件,Melvin C。;V.Wiktor马雷克;特鲁什琴斯基,米洛斯奥 纯粹的必然逻辑。 (英语) Zbl 0819.03011号 J.日志。计算。 2,第3期,349-373(1992).MSC公司:03B45号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Fitting}等人,J.Log。计算。2,第3号,349--373(1992;Zbl 0819.03011) 全文: 内政部
中村,亚基拉;高建明 关于KTB模态模糊逻辑。 (英语) Zbl 0754.03014号 模糊集系统。 45,第327-334号(1992年). 审核人:S.Miura(冈崎/爱知) MSC公司:03B52号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nakamura}和\textit{J.-M.Gao},模糊集系统。45,第3号,327--334(1992;Zbl 0754.03014) 全文: 内政部
朱利安·布拉德菲尔德;科林·斯特林 无限状态空间的局部模型检查。 (英语) Zbl 0747.68036号 西奥。计算。科学。 96,第1期,157-174(1992).MSC公司:60年第68季度 68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bradfield}和\textit{C.Stirling},Theor。计算。科学。96,第1号,157--174(1992;Zbl 0747.68036) 全文: 内政部
埃尔曼诺·本西文加;卡雷尔·兰伯特;范·弗雷森(Bas C.van Fraassen)。 逻辑、二价和外延。2.编辑。 (英语) 兹比尔0777.03001 加利福尼亚州阿塔斯卡德罗:Ridgeview Publishing Co.x,203 p.(1991)。 审核人:O.Sonobe(福洛妮卡) MSC公司:03-01 03A05号 03B60号 03B05号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Bencivenga}等人,《逻辑,二价和外延》。2.ed.Atascadero,CA:Ridgeview Publishing Co.(1991;Zbl 0777.03001)
或者鄂尔多斯卡 三元关系逻辑中相关逻辑的解释。 (英语) Zbl 0716.03010号 牛市。第节。日志。,波兰。阿卡德。科学。 19,No.2,39-48(1990). 审核人:S.Giambrone公司 MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \文本{E.Orłowska},公牛。第节。逻辑,Pol。阿卡德。科学。19,第2号,39--48(1990;Zbl 0716.03010)
牧场克利夫兰 命题微积分中基于表的模型检验。 (英语) Zbl 0676.03033号 学报信息。 27,No.8,725-747(1990). 审核人:R.克利夫兰 MSC公司:07年3月 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland},Acta Inf.27,No.8,725--747(1990;Zbl 0676.03033) 全文: 内政部
沃尔夫冈·劳滕贝格 模态表结石和插值。 (英语) Zbl 0547.03015号 J.菲洛斯。逻辑 12, 403-423 (1983). 审核人:W.卡尼埃利 MSC公司:03B45号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{W.劳滕贝格},J.菲洛斯。日志。12、403--423(1983年;Zbl 0547.03015) 全文: 内政部