马修·科林森;凯文·麦克唐纳;西蒙·多尔蒂;大卫·皮姆 勘误表:“分层图的子结构逻辑”。 (英语) Zbl 1361.03014号 J.日志。计算。 27,第1期,413-414(2017).MSC公司:03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}等人,J.Log。计算。27,第1号,413--414(2017;Zbl 1361.03014) 全文: DOI程序
帕维尔·G·瑙莫夫。;陶,贾 用于推理经济政策的模态逻辑。 (英语) Zbl 1444.03069号 J.日志。计算。 27,第1号,395-412(2017).MSC公司:03B45号 03B80号 91A80型 91年10月 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Naumov}和\textit{J.Tao},J.Log。计算。27,第1号,395--412(2017;Zbl 1444.03069) 全文: DOI程序 链接
Ernst-Erich Doberkat;佩德罗·桑切斯·特拉夫 随机非确定性和有效性函数。 (英语) 兹比尔1407.68333 J.日志。计算。 27,第1期,357-394(2017).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat}和\textit{P.Sánchez Terraf},J.Log。计算。27,第1号,357--394(2017;Zbl 1407.68333) 全文: DOI程序 arXiv公司
彼得里克,米兰;托马斯·维特莱恩 Rees共存于有限的负类螺旋体。 (英语) Zbl 1444.06008号 J.日志。计算。 27,第1期,337-356(2017).MSC公司:05年6月 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{M.Petrík}和\textit{T.Vetterlein},J.Log。计算。27,第1号,337--356(2017;Zbl 1444.06008) 全文: DOI程序 arXiv公司
阿曼达·维达尔;弗朗西斯科·埃斯特瓦;路易斯·戈多 产品模糊逻辑的模态扩展。 (英语) Zbl 1390.03025号 J.日志。计算。 27,第1期,299-336(2017). 审核人:Salvatore Sessa(那不勒斯) MSC公司:03B52号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Vidal}等人,J.Log。计算。27,第1号,299--336(2017;Zbl 1390.03025) 全文: DOI程序 链接
塞勒姆·本费哈特;扎伊德·布劳伊 基于Min的可能DL-Lite。 (英语) Zbl 1409.68275号 J.日志。计算。 27,第1期,261-297(2017).MSC公司:68T27型 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{S.Benferhat}和\textit{Z.Buraoui},J.日志。计算。27,第1261-297号(2017年;兹bl 1409.68275) 全文: DOI程序
爱德蒙·阿瓦德;理查德·布斯;费尔南多·托梅;伊亚德·拉文 多主体论证中的判断聚合。 (英语) Zbl 1361.68218号 J.日志。计算。 27,第1号,227-259(2017).MSC公司:68T27型 68T42型 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Awad}等人,J.Log。计算。27,第1号,227--259(2017;Zbl 1361.68218) 全文: DOI程序 arXiv公司
Hiroyuki Kido;大泽,Yukio;卡苏米·尼塔 帕累托最优参数的帕累托论证框架。 (英语) Zbl 1361.68234号 J.日志。计算。 27,第1期,213-225(2017).MSC公司:68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{H.Kido}等人,J.Log。计算。27,第1号,213--225(2017;Zbl 1361.68234) 全文: DOI程序 链接
斯特芬·列维茨卡 模态逻辑是经典命题逻辑和直觉命题逻辑的结合。 (英语) Zbl 1444.03066号 J.日志。计算。 2017年第1期27号,第201-212页.MSC公司:03B45号 03B05号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Lewitzka},J.日志。计算。27,第1号,201--212(2017;Zbl 1444.03066) 全文: DOI程序 arXiv公司
翁贝托·里维奇奥;阿希姆·荣格;拉蒙·詹萨纳 四值模态逻辑:克里普克语义和对偶性。 (英语) Zbl 1444.03073号 J.日志。计算。 27,第1期,155-199(2017).MSC公司:03B45号 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{U.Rivieccio}等人,J.Log。计算。27,第1号,155--199(2017;Zbl 1444.03073) 全文: DOI程序 链接
托马斯·克鲁帕;布鲁诺·特奥 用于联盟权力建模的Łukasiewicz逻辑的模态扩展。 (英语) Zbl 1361.68235号 J.日志。计算。 27,第1期,129-154(2017).MSC公司:68T27型 03B45号 03B50号 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Kroupa}和\textit{B.Teheux},J.Log。计算。27,第1号,129--154(2017;Zbl 1361.68235) 全文: DOI程序 arXiv公司
塞巴斯蒂安·埃伯哈德;斯特凡·赫兹尔;丹尼尔·韦勒 与谓词的布尔统一。 (英语) Zbl 1407.68217号 J.日志。计算。 27,第1号,109-128(2017).MSC公司:65年第68季度 03B10号机组 03B25号 03B35型 03C10号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Eberhard}等人,J.Log。计算。27,第1号,109-128(2017年;兹bl 1407.68217) 全文: DOI程序 链接
帕特里克·布莱克本;托马斯·博兰德;托本·布吕纳;约根森,克劳斯·弗罗文 塞利格曼式画面系统的完整性和终止性。 (英语) Zbl 1444.03045号 J.日志。计算。 27,第1期,81-107(2017).MSC公司:03B45号 03B35型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}等人,J.Log。计算。27,第1号,81-107(2017;Zbl 1444.03045) 全文: DOI程序 链接
马修·科林森;凯文·麦克唐纳;大卫·皮姆 分层图逻辑作为访问控制策略模型的断言语言。 (英语) Zbl 1361.68223号 J.日志。计算。 27,第1号,41-80(2017).MSC公司:68T27型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{M.Collinson}等人,J.Log。计算。27,第1号,41-80(2017;Zbl 1361.68223) 全文: DOI程序 链接
马里奥广场;加布里埃尔·普奇尼 通过上下文敏感统一逻辑。 (英语) Zbl 1444.03099号 J.日志。计算。 27,第1号,21-40(2017).MSC公司:03B53号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Piazza}和\textit{G.Pulcini},J.Log。计算。27,编号1,21-40(2017;兹bl 1444.03099) 全文: DOI程序
Mateus,P。;塞尔纳达斯,A。;A.苏托。 具有确定性控制的量子图灵机的普遍性。 (英语) Zbl 1362.68077号 J.日志。计算。 27,第1号,1-19(2017).MSC公司:2005年第68季度 2012年第68季度 68问题30 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Mateus}等人,J.Log。计算。27,第1号,1--19(2017;Zbl 1362.68077) 全文: DOI程序