Studia Logica,第85卷
第85卷第1期,2007年2月
马尔塔·比尔科娃 :
模态逻辑中的统一插值和命题量词。 1-31 洛伊克·科尔森 :
天真场景理论中的另一个悖论。 33-39 丹尼尔·盖因 , 安德烈·波佩斯库 :
Robinson一致性定理的一个独立于机构的证明。 41-73 奥利弗·库茨 :
度量空间逻辑的注记。 75-104 Urszula Wybraniec-Skardowska公司 :
含义和解释。 一、。 105-132 罗伯特·范·罗伊 :
猎鹿与社会结构的演变。 133-138
第85卷第2期,2007年3月
塔雷克·赛义德·艾哈迈德 :
关于整洁还原的注释。 139-151 芭芭拉·德齐米多维奇·格雷兹(Barbara Dziemidowicz-Gryz) :
范畴语法限制类的可学习性。 153-169 罗·格勃尔 :
组合逻辑和亚结构逻辑的语义。 171-197 菲尼基·斯托帕 :
模态逻辑S5的深度推理系统。 199-214 乔治·沃萨达基斯 :
范畴抽象代数逻辑:前代数性和原代数性。 215-249 温雪峰 :
具有相对同一连接的命题逻辑和分析悖论的部分解决方案。 251-260 Urszula Wybraniec-Skardowska公司 :
含义和解释。 二、。 261-274 梅尔文配件 :
对FOIL的更正 公理化Studia Logica , 84: 1-22, 2006. 275 罗伊·库克 :
书评。 277-281
第85卷第3期,2007年4月
乔安娜·戈林斯卡·皮拉雷克 , 埃瓦·奥洛夫斯卡 :
Tableaux和Dual Tableaux:校对的转换。 283-302 宫崎裕中 :
Kripke包含KTB的不完整逻辑。 303-317 塞巴斯蒂安·特维恩 :
克里普克模型、分配格和梅德韦杰夫度。 319-332 马克·艾基尔 , 织物理发师 :
Beth可定义性定理的机构相关证明。 333-359 Katarzyna Gajewska-Kurdziel公司 , 克里斯蒂娜·穆鲁泽克·纳西涅夫斯卡 :
指数阿贝尔群的外相容恒等式定义的簇的子簇格 n个 . 361-379 宫崎骏 :
NExt(KTB)中的拆分逻辑。 381-394 克劳迪奥·皮齐 :
必要性和相对偶然性。 395-410 伊戈尔·科赞 :
Joseph Y.Halpern,《不确定性推理》。 411-412 安德斯·索加德 :
帕特里克·布莱克本(Patrick Blackburn)和约翰·博斯(Johan Bos),《自然语言的表征和推理》(Representation and Inference for Natural Language)。 413-418 莱因哈德·卡勒 :
埃德温·马雷斯,《相关逻辑——哲学解释》。 419-424 安德鲁·戴维·欧文 :
约翰·伍兹,《悖论与悖论:抽象科学中的冲突解决》。 425-428
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)