古拉姆·贝扎尼什维利（编辑）;乔瓦娜·达戈斯蒂诺（编辑）;乔治·梅特卡夫（编辑）;托马斯·施图德（编辑） 模态逻辑的进展。第12卷。第十二届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。 （英语） Zbl 1398.03005号 伦敦：学院出版物（ISBN 978-1-84890-255-8/pbk）。xii，628页。(2018). 将索引文章显示为搜索结果。 出版商的描述：逻辑学处理的是真理和谬误的基本概念。模态逻辑起源于对“真理模式”的哲学研究，最常见的两种模式是“必然真实”和“可能真实”。模态逻辑的研究现在跨越了哲学、计算机科学和数学，使用了关系结构、泛代数、拓扑学和证明理论中的技术。这些会议记录了2018年模态逻辑进展会议上提交的论文，这是一个两年一次的系列会议，旨在报告纯模态逻辑和应用模态逻辑的重要新发展。主题包括可判定性和复杂性结果、证明理论、模型理论、插值以及代数逻辑中的其他相关问题。本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1367.03009号].索引文章：阿纳州阿尔梅达·博尔赫斯；Joost J.乔斯特恩。，蠕虫演算，13-27[Zbl 1418.03076号]阿诺·阿夫隆；奥里·拉哈夫，一个简单的无割系统，用于等效于S5，29-42的准一致逻辑[兹比尔1418.03126]大卫·巴尔德（David Baelde）；安东尼·利克（Anthony Lick）；西尔万·施密茨，线性框架的带簇超连续演算，43-62[Zbl 1418.03066号]菲利普·巴尔比亚尼；马丁·迪盖兹，具有双重含义的这里和那里的模态逻辑，63-82[Zbl 1418.03067号]菲利普·巴尔比亚尼；弗南德斯·杜克，大卫；安德烈亚斯·赫齐格（Andreas Herzig）；皮塔·伊利耶夫，框架有效性对策和模态公理的绝对极小性，83-102[Zbl 1418.03068号]特里斯坦·查里尔；弗朗索瓦州施瓦岑特鲁伯，具有常识的动态认知逻辑的复杂性，103-122[Zbl 1418.03045号]伊万诺·齐亚德利，依赖关系语句是严格的条件，123-142[Zbl 1418.03046号]亚历克斯·西特金，一代工作状态5-代数，143-158[Zbl 1418.03188号]蒂齐亚诺·达尔蒙特；尼古拉·奥利维蒂；萨拉·内格里，《非正规模态逻辑：双邻域语义及其标记演算》，159-178[Zbl 1418.03075号]斯特凡·德姆里；劳尔·费尔瓦里，《关于模态分离逻辑的复杂性》，179-198[Zbl 1418.03077号]马丁·迪格斯；Fernández Duque，大卫，“最终”的直觉主义公理化，199-218[Zbl 1418.03078号]丁一峰，关于命题量词扩展的逻辑第5章\（\Pi\），219-235[Zbl 1418.03079号]加丹·杜埃努·塔博特；苏菲·平奇纳特；弗朗索瓦州施瓦岑特鲁伯，正则自动树上的链一元二阶逻辑与认知规划综合，237-256[Zbl 1418.03032号]爱德华多·赫莫·雷耶斯；Joost J.乔斯特恩。，Turing-Schmerl演算的关系语义，237-346[Zbl 1418.03086号]比尔吉特·埃尔布尔，模态逻辑乘积和相对乘积的无割序贯计算，257-276[Zbl 1418.03080号]西尔维奥·吉拉尔迪；路易吉·桑托卡纳莱，通过对偶和有界互模拟的Ruitenburg定理，277-290[Zbl 1418.03191号]玛丽安娜·吉兰多；萨拉·内格里（Sara Negri）；尼古拉·奥利维蒂，反事实逻辑：标签和内部结石，同一枚硬币的两面？，291-310 [Zbl 1418.03050号]克里斯托弗·汉普森，交换差分算子的双模逻辑是可判定的，311-326[Zbl 1418.03084号]罗宾·赫希（Robin Hirsch）；布雷特·麦克莱恩，具有慢超光速可达性的二维闵可夫斯基时空的时间逻辑是可判定的，347-366[Zbl 1418.03062号]卫斯理·H·霍利迪。；塔德乌兹·利塔克，一个模态逻辑来统治所有这些？，367-386 [兹伯利1418.03087]安德烈·因德泽扎克（Andrzej Indrzejczak），确定描述的无割模态理论，387-406[Zbl 1418.03088号]Ju、Fengkui；Gianluca Grilletti；瓦伦丁·戈兰科，时间条件逻辑和海战难题的解决方案，407-426[Zbl 1418.03063号]基科特、斯坦尼斯拉夫；阿吉·库鲁茨；弗兰克·沃尔特（Frank Wolter）；迈克尔·扎克哈里亚舍夫，关于严格正模态逻辑S公司4.3帧，427-446[Zbl 1418.03091号]詹姆斯·库萨斯；托马斯·科瓦尔斯基；宫崎骏、玉田；迈克尔·史蒂文斯，余维3的KTB的正规扩张，447-458[Zbl 1418.03092号]托马斯·科瓦尔斯基；乔治·梅特卡夫，模态逻辑的一致性，459-472[兹伯利1418.03093]库兹涅茨，罗马；比约恩·莱尔曼，通过超线性嵌套序列的中间逻辑插值，473-492[Zbl 1418.03130号]斯捷潘·库兹涅佐夫，*-连续性与归纳法：分而治之，493-510[Zbl 1418.03111号]米歇尔·马蒂（Michel Marti）；托马斯·施图德，直觉证明逻辑的内在析取性质，511-529[Zbl 1418.03056号]米哈伊尔·里巴科夫；德米特里·什卡托夫，关于一阶可定义的帧类，递归可枚举Kripke完全一阶逻辑不完备，531-539[Zbl 1418.03100号]伊利亚州夏皮洛夫斯基，Kripke框架和的Truth-preserving运算，541-558[Zbl 1418.03101号]瓦伦丁·谢特曼，关于具有密度公理的一些模态谓词逻辑的Kripke完备性，559-575[Zbl 1418.03102号]德米特里·斯科沃尔佐夫，关于具有常数域的有限高度Kripke框架的超直觉谓词逻辑的一点注记：一个更简单的非强完备Kripke-完备逻辑，577-590[Zbl 1418.03132号]范德普特，弗雷德里克；多米尼克·克莱恩，邻域模态逻辑中的逐点交集，591-610[Zbl 1418.03107号]王燕京；杰里米·塞利格曼，当名称不常见时：带有赋值的认知逻辑，611-628[Zbl 1418.03060号] 引用于1审查 理学硕士： 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 03B45 模态逻辑（包括规范逻辑） 00B25型 杂项特定利益的会议记录 引文：Zbl 1367.03009号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}（编辑）等，《模态逻辑的进展》。第12卷。第12届会议记录（AiML 2018），瑞士伯尔尼，2018年8月27日至31日。伦敦：学院出版物（2018；Zbl 1398.03005）