德米特里·斯科沃尔佐夫 关于具有常数域的有限高度Kripke框架的超直觉谓词逻辑的一点注记：一个更简单的非强完备Kripke-完备逻辑。 （英文） Zbl 1418.03132号 Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。577-590 (2018).MSC公司：03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Skvortsov}，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。577--590（2018；Zbl 1418.03132）
瓦伦丁·谢特曼 用密度公理讨论某些模态谓词逻辑的Kripke完备性。 （英文） Zbl 1418.03102号 Bezhanishvili，Guram（编辑）等人，《模态逻辑的进展》。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。559-575 (2018).MSC公司：03B45号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Shehtman}，in：模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物。559-575（2018；Zbl 1418.03102）
文森特·拉里;科恩、利隆;马克·比克福德 由单调库支持的验证定理证明器后端。 （英文） Zbl 1409.68262号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 564-582 (2018).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人，EPiC Ser。计算。57、564--582（2018年；Zbl 1409.68262） 全文： 内政部
利波·Běhounek;Ondrej Majer 模糊内涵语义。 （英文） Zbl 1499.03020号 J.应用。非类别。日志。 28，第4号，348-388（2018）.MSC公司：03B52号 03B45号 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{L.Běhounek}和\textit{O.Majer}，J.Appl。非类别。日志。28，第4348-388号（2018年；兹bl 1499.03020） 全文： 内政部
菲利普·克莱默 模态逻辑的拓扑框架产品。 （英文） 兹比尔1445.03026 螺柱日志。 106，第6期，1097-1122（2018）. 审核人：Osamu Sonobe（卵泡） MSC公司：03B45号 54B10号 PDF格式BibTeX公司 XML格式引用 \textit{P.Kremer}，Stud.Log。106，第6号，1097--1122（2018；Zbl 1445.03026） 全文： 内政部
西蒙·多尔蒂;大卫·皮姆 直觉分层图逻辑：语义和证明理论。 （英文） Zbl 1454.03030号 日志。方法计算。科学。 14，第4号，第11号论文，36页（2018年）.MSC公司：03B47号 03B20型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym}，日志。方法计算。科学。14，第4号，第11号论文，36页（2018；Zbl 1454.03030） 全文： 内政部 arXiv公司
帕文Safari;赛义德·萨利希 模糊逻辑的Kripke语义。 （英文） Zbl 1398.03131号 软计算。 22，第3期，839-844（2018）.MSC公司：03B52号 PDF格式BibTeX公司 XML格式引用 \textit{P.Safari}和\textit{S.Salehi}，软计算。22，第3号，839--844（2018；Zbl 1398.03131） 全文： 内政部 arXiv公司
彼得·辛图拉;卡莱斯·诺格拉 模态多值逻辑的邻域语义。 （英文） Zbl 1397.03027号 模糊集系统。 345, 99-112 (2018).MSC公司：03B50号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{C.Noguera}，模糊集系统。345，99-112（2018年；兹bl 1397.03027） 全文： 内政部 链接
R.佐吉法德。;M·普尔马迪安。 一阶模态逻辑：框架可定义性和Lindström定理。 （英文） Zbl 1437.03095号 螺柱日志。 106，第4号，699-720（2018）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Zoghifard}和\textit{M.Pourmahdian}，Stud.Log。106，第4号，699--720（2018；Zbl 1437.03095） 全文： 内政部 arXiv公司
贾格尔，格哈德;西尔维娅·斯特拉 关于Kripke-Platek环境中的一些不动点公理和相关原理。 （英文） Zbl 1469.03139号 J.塞姆。日志。 83，第2期，642-668（2018）.MSC公司：03E30年 03财年03 35层03 03E45型 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}和\textit{S.Steila}，J.Symb。日志。83，No.2，642--668（2018；Zbl 1469.03139） 全文： 内政部
克里斯蒂娜·穆鲁泽克·纳西涅夫斯卡;马雷克·纳西涅夫斯基 某些类（mathbf{Z}）逻辑的特征。 （英文） Zbl 1456.03051号 日志。Univers大学。 12，编号1-2，207-219（2018）.MSC公司：03B53号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Mruczek-Nasienewska}和\textit{M.Nasieneowski}，日志。Univers大学。12，编号1--2，207--219（2018；Zbl 1456.03051） 全文： 内政部
穆罕默德·阿德谢尔;莫伊塔赫迪、莫伊塔巴 \（\mathsf｛HA｝\）的\（\ Sigma_1\）-可证明逻辑。 （英文） Zbl 1426.03039号 Ann.纯粹应用。逻辑 169，第10号，997-1043（2018）. 审核人：Osamu Sonobe（卵泡） MSC公司：03层45 03B45号 03楼50 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{M.Ardeshir}和\textit{M.Mojtahedi}，Ann.Pure Appl。逻辑169，No.10，997--1043（2018；Zbl 1426.03039） 全文： 内政部 arXiv公司
西蒙·多尔蒂;大卫·派姆 分离理论的模块化表格计算。 （英文） Zbl 1506.03073号 Baier，Christel（编辑）等人，《软件科学和计算结构基础》。2018年4月14日至20日在希腊塞萨洛尼基举行的第21届国际会议FOSSACS 2018，作为欧洲软件理论与实践联合会议ETAPS 2018的一部分。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10803, 441-458 (2018).MSC公司：03B47号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym}，莱克特。注释计算。科学。10803、441--458（2018；Zbl 1506.03073） 全文： 内政部
刘燕红A。;斯科特·斯托勒。 建立了逻辑规则的语义和约束语义。 （英文） Zbl 1503.68178号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10703, 221-241 (2018).MSC公司：68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Liu}和\textit{S.D.Stoller}，Lect。注释计算。科学。10703、221--241（2018；Zbl 1503.68178） 全文： 内政部 arXiv公司