应用非经典逻辑杂志,第20卷
第20卷,编号1-2010
塞勒姆·本费哈特 , 卡里玛·塞德基 :
基于安全操作员的知识和偏好的警报关联方法。 7-37 塞雷内拉·塞里托 , Marta Cialdea Mayer公司 :
混合逻辑表中名义等式的一种有效方法。 39-61 曼弗雷德·库德莱克 :
关于Hamblin的15时态定理。 63-80 苏曼·罗伊 :
具有邻域模式的持续时间演算。 81至126
2010年第3期第20卷
菲利普·巴尔比亚尼 :
前言。 137-138 打捆机十类 , 加列·丰丹 , 塔德乌兹·利塔克 :
XPath的一些模态方面。 139-171 汉斯·范·迪特马什 , 扬·范·埃伊克 , 吴文璟 :
验证一百名囚犯和一个灯泡。 173-191 西尔维奥·吉拉尔迪 :
连续性、自由度和过滤。 193-217 伯恩哈德·海尼曼 :
多子集空间的逻辑。 219-240 安德烈亚·马西尼 , 卢卡·维甘 , 马尔科·沃尔佩 :
从未来回来。 241-277 谢尔盖·奥丁佐夫 , 海因里希·瓦辛 :
具有Belnapian真值的模态逻辑。 279-304
2010年第4期第20卷
菲利普·巴尔比亚尼 , 路易斯·法利尼亚斯·德尔·塞罗 , 安德烈亚斯·赫齐格 :
前言。 311 斯特凡·德姆里 , 阿兰·芬克尔 , 瓦伦丁·戈兰科 , 戈弗特·范·德里姆伦 :
平板Presburger柜台系统上的模型检查CTL*。 313-344 Dov M.Gabbay公司 , 卡尔·施莱赫塔 :
语义插值。 345-371 迪迪埃·加尔米奇 , 雅库布沙利 :
直觉主义和经典模态逻辑的无标签自然演绎系统。 373-421 马库斯·克拉希特 :
判断和后果关系。 423-435 马克·雷诺兹 :
少于两个时钟的度量时间推理。 437-455 Leendert W.N.van der Torre(林德特·范德托雷) :
违规游戏:道义逻辑的新基础。 457-477