《逻辑、语言与信息杂志》第11卷
2002年第11卷第1期
帕特里克·布莱克本 :
编辑。 1 亚历山大·波奇曼 :
灌输与依赖:信念改变的一致性和基础。 3-27 Dov M.Gabbay公司 , 纪尧姆·马洛德 :
在模态和时间逻辑中命名世界。 29-65 阿尼·内科娃 :
模态分级交集的Tableau方法:概念语言的一个例子。 67-77 安东尼奥·莫雷诺-桑多瓦尔 , 何塞·米盖尔·戈涅·梅诺约 :
DATR中的西班牙语屈折形态。 79-105 阿尔伯特·维瑟 :
驴子和独角兽。 带控制元素的动态语义。 107-131
2002年春季第11卷第2期
保罗·德克尔 :
不定表达的含义和用法。 141-194 乔里·恩格弗里特 , 天主教徒M.琼克 , 扬·特雷尔 :
时间多项目逻辑中多智能体系统的组合验证。 195-225 Norihiro Kamide公司 :
Mingle的子结构逻辑。 227-249 马库斯·克拉希特 :
指称系统和关系语法。 251-286
第11卷第3期,2002年夏季
保罗·德克尔 , 马克·保利 :
编辑:逻辑与游戏。 287-288 本瑟姆 :
作为过程模型的广泛游戏。 289-313 彼得·麦克伯尼 , 西蒙·帕森斯 :
代理人玩的游戏:自治代理人之间对话的正式框架。 315-334 托尔斯滕·克劳辛 :
一个用于分析战略形式游戏的带有概率信念和条件句的句法框架。 335-348 Hans P.van Ditmarsch先生 :
游戏动作描述。 349-365 西奥·M·V·詹森 :
独立选择和IF逻辑的解释。 367-387
2002年秋季第11卷第4期
乔里·恩格弗里特 , 扬·特雷尔 :
时间逻辑的线性、分支时间和联合闭包语义。 389-425 格哈德·贾格尔 :
关于双向最优性理论形式性质的一些注记。 427-451 Norihiro Kamide公司 :
模态子结构逻辑的克里普克语义。 453-470 卢西亚诺·塞拉菲尼 , 福斯托·金奇利亚 :
ML系统:上下文的证明理论。 471-518