2012年模态逻辑进展:丹麦哥本哈根
托马斯·博兰德 , 托本·布拉纳 , 西尔维奥·吉拉尔迪 , 劳伦斯·莫斯 :
模态逻辑进展9,2012年8月22日至25日在丹麦哥本哈根举行的第九届“模态逻辑进展”会议的论文。 学院出版物 2012 ,国际标准图书编号 978-1-84890-068-4 史蒂文·阿沃迪 , Kohei Kishida公司 :
一阶模态逻辑的拓扑完备性。 1-17 弗兰兹·巴德 , 斯特凡·博格沃德 , 芭芭拉·莫劳斯卡 :
计算最小EL-unifiers很困难。 18-35 菲利普·巴尔比亚尼 , 汉斯·范·迪特马什 , 安德烈亚斯·赫齐格 , 蒂亚戈·德利马 :
有些真相最好不说。 36-54 菲利普·巴尔比亚尼 , 斯坦尼斯拉夫·基科特 :
预接触逻辑的Sahlqvist定理。 55-70 菲利普·巴尔比亚尼 , 莱万·乌里迪亚 :
迭代严格偏序上模态逻辑的完备性和可定义性。 71-88 列夫·D·别克拉米舍夫 :
校准可证明逻辑:从模态逻辑到反射微积分。 89-94 本瑟姆 :
逻辑动力学基础问题。 95-96 本瑟姆 , 大卫·费尔南德斯·杜克 , 埃里克·帕奎特 :
证据逻辑:邻里结构的新视角。 97-118 马尔塔·比尔科娃 , 罗斯蒂斯拉夫·霍西克 , 吉里·韦莱比尔 :
作为偏序集上的余代数逻辑的分布子结构逻辑。 119-142 拉尔斯·比克达尔 :
合成保护域理论的第一步。 143 帕特里克·布莱克本 , 克劳斯·弗罗文·约根森 :
指数混合时态逻辑。 144-160 法昆多·卡雷罗 , 斯特凡·德姆里 :
Presburger模态逻辑的超越正则性。 161-182 打捆机十类 :
保护性否定。 183-184 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 :
超越有限可证明逻辑的克里普克模型。 185-199 大卫·费尔南德斯·杜克 :
动态拓扑逻辑的非有限公理化。 200-216 蒂姆·弗伦奇 , 约翰·克里斯托弗·麦卡贝(John Christopher McCabe-Dansted) , 马克·雷诺兹 :
实域上时间逻辑的综合。 217-238 帕特里克·吉拉德 , 杰里米·塞利格曼 , 刘芬荣 :
通用动态逻辑。 239-260 斯特凡·格勒 , 阿恩·迈尔 , 马丁·蒙登克 , 托马斯·施奈德 , 托马斯 , Felix Weiß :
线性框架和自然数上单调混合逻辑的复杂性。 261-278 拉杰夫·戈尔 , Revantha Ramanayake公司 :
标记树序列、树超序列和嵌套(深)序列。 279-299 丹尼尔·戈林 , 卢茨·施罗德 :
使用有界自引用扩展ALCQ。 300-316 詹姆斯·黑尔斯 , 蒂姆·弗伦奇 , 罗文·戴维斯 :
多智能体知识和信念的精炼量化逻辑。 317-338 克里斯托弗·汉普森 , 阿吉·库鲁茨 :
论具有“别处”逻辑的模态乘积。 339-347 韦斯利·霍利迪 , 厚熙富弘 , 托马斯·伊卡德三世 :
信息动力学的统一逻辑。 348-367 Krzysztof Kapulkin公司 , 亚历山大·库兹 , 杰里·韦利比尔 :
正合代数逻辑的表达。 368-385 安德烈·库迪诺夫 :
邻域框架的某些乘积的模态逻辑。 386-394 安德烈·库迪诺夫 , 伊利亚·夏皮洛夫斯基 , 瓦伦丁·B·谢特曼 :
汉明空间的模态逻辑。 395-410 阿吉·库鲁茨 , 塞尔吉奥·马塞利诺 :
K4.3 x S5的有限框架是可确定的。 411-436 罗曼·库兹涅茨 , 托马斯·斯图德 :
合理性、本体论和保守性。 437-458 拉里萨·马克西莫娃 :
极小逻辑上的插值和Beth可定义。 459-463 雅库布·米查利辛 , 伊曼纽尔·基伦斯基 :
Horn~可定义框架类上模态逻辑的有限可满足性。 464-482 德米特里·P·斯克沃尔佐夫 :
关于具有(或不具有)等式的超直觉谓词逻辑函数语义的特殊性的注记。 483-493 铃木富代 :
双逼近语义学的形态。 494-515 Alwen Tiu公司 , 埃戈尔·伊诺夫斯基 , 拉杰夫·戈尔 :
嵌套序列演算中的语法逻辑:证明理论和决策程序。 516-537 迪米特·瓦卡列洛夫 :
动态Mereotopology II:公理化一些Whiteheadean类型的时空逻辑。 538-558 燕京王 , 李彦军 :
并非所有漂泊者都迷失了方向:航海中的动态认知推理。 559-580