克里斯特·塞格伯格
人员信息
优化列表
2010 – 2019
2012 [公元24年] 克里斯特·塞格伯格 :
DΔL:动态道义逻辑。 合成。 185 ( 补充-1 ) : 1-17 ( 2012 ) [第4页] 克里斯特·塞格伯格 :
信念修正策略。 游戏、动作和社交软件 2012 : 73-95 2011 [公元23年] 克里斯特·塞格伯格 :
隐喻的模态逻辑。 Stud Logica公司 99 ( 1-3 ) : 337-347 ( 2011 ) [第3页] 克里斯特·塞格伯格 :
纪念贾苏·马甘·巴纳·潘奇亚(1963-1991):动态多克斯逻辑中的反复信念修正。 证明、计算和代理 2011 : 217-227 2010 [公元22年] 克里斯特·塞格伯格 :
迭代信念修正动态道士逻辑中的几个完备性定理。 版本符号。 日志。 三 ( 2 ) : 228-246 ( 2010 )
2000 – 2009
2009 [公元21年] 克里斯特·塞格伯格 :
动态道义逻辑的蓝图。 J.应用。 日志。 7 ( 4 ) : 388-402 ( 2009 ) 2007 [公元20年] 汉内斯·莱特盖布 , 克里斯特·塞格伯格 :
动态多角主义逻辑:为什么,如何,在哪里? 合成。 155 ( 2 ) : 167-190 ( 2007 ) [第2页] 斯坦·林德斯特伦 , 克里斯特·塞格伯格 :
模态逻辑和哲学。 模态逻辑手册 2007 : 1149-1214 [i1] 克里斯特·塞格伯格 :
道义逻辑的蓝图分三步(不一定很容易)。 理性Agent中信念变化的形式化模型 2007 2000 【c3】 克里斯特·塞格伯格 :
行动逻辑大纲。 模态逻辑的进展 2000 : 365-387 [电子1] 迈克尔·扎克哈里亚舍夫 , 克里斯特·塞格伯格 , 马尔滕·德·里杰克 , 海因里希·瓦辛 :
模态逻辑进展2,1998年10月16日至18日在瑞典乌普萨拉举行的第二次“模态逻辑进展”研讨会的论文。 CSLI出版物 2000 ,国际标准图书编号 1-57586-271-9 [目录]
1990 – 1999
1998 [公元19年] 克里斯特·西格伯格 :
动态道克斯逻辑中的不可撤销信念修正。 圣母院J.正式日志。 39 ( 三 ) : 287-306 ( 1998 ) 【c2】 迈克尔·扎克哈里亚舍夫 , 克里斯特·塞格伯格 , 马尔滕·德·里杰克 , 海因里希·瓦辛 :
现代模态逻辑的起源。 模态逻辑的进展 1998 1997 [公元18年] 克里斯特·塞格伯格 :
林德斯特伦和拉宾诺维奇的信念修正理论提案。 芬丹。 信息学 32 ( 2 ) : 183-191 ( 1997 ) 1996 [公元17年] 布莱恩·切拉斯(Brian F.Chellas) , 克里斯特·塞格伯格 :
S1附近的模态逻辑。 圣母院J.正式日志。 37 ( 1 ) : 1-24 ( 1996 ) [第1页] 克里斯特·西格伯格 :
三角洲运营商的三级分析。 逻辑、动作和信息 1996 : 63-78 1995 [公元16年] 克里斯特·塞格伯格 :
多克斯逻辑视角下的信念修正。 日志。 J.IGPL公司 三 ( 4 ) : 535-553 ( 1995 ) 1994 [公元15年] 布莱恩·切拉斯(Brian F.Chellas) , 克里斯特·塞格伯格 :
使用Macintosh规则的模态逻辑。 J.菲洛斯。 日志。 23 ( 1 ) : 67-86 ( 1994 ) [公元14年] 克里斯特·塞格伯格 :
无穷命题模态逻辑中的模型存在定理。 J.菲洛斯。 日志。 23 ( 4 ) : 337-367 ( 1994 ) 【c1】 瓦洛齐米尔兹·拉比诺维奇 , 克里斯特·塞格伯格 :
实际真相,可能的知识。 TARK(目标) 1994 : 122-137 1992 [j13] 克里斯特·西格伯格 :
开始:行动逻辑的开始。 Stud Logica公司 51 ( 3/4 ) : 347-378 ( 1992 ) [公元12年] 克里斯特·塞格伯格 :
行动不完整。 Stud Logica公司 51 ( 3/4 ) : 533-550 ( 1992 ) 1990 [公元11年] 克里斯特·塞格伯格 :
祈使逻辑中的有效性和满足。 圣母院J.正式日志。 31 ( 2 ) : 203-221 ( 1990 )
1980 – 1989
1989 [公元10年] 克里斯特·塞格伯格 :
实现它。 J.菲洛斯。 日志。 18 ( 4 ) : 327-347 ( 1989 ) [公元9年] 克里斯特·塞格伯格 :
条件逻辑注释。 Stud Logica公司 48 ( 2 ) : 157-168 ( 1989 ) 1988 [j8] 克里斯特·塞格伯格 :
符号逻辑协会会议:奥克兰,1986年。 J.塞姆。 日志。 53 ( 1 ) : 330-334 ( 1988 ) [j7] 克里斯特·塞格伯格 :
谈论行动。 Stud Logica公司 47 ( 4 ) : 347-352 ( 1988 ) 1986 [j6] 克里斯特·塞格伯格 :
具有功能替代关系的模态逻辑。 圣母院J.正式日志。 27 ( 4 ) : 504-522 ( 1986 ) 1983 [j5] 克里斯特·塞格伯格 :
任意真值函数和自然演绎。 数学。 日志。 问:。 29 ( 11 ) : 557-564 ( 1983 ) 1982 【j4】 克里斯特·塞格伯格 :
蓄意行动的逻辑。 J.菲洛斯。 日志。 11 ( 2 ) : 233-254 ( 1982 )
1970 – 1979
1976 [j3] 克里斯特·西格伯格 :
一些帖子编号的真相。 J.塞姆。 日志。 41 ( 1 ) : 239-244 ( 1976 ) 1973 [注2] 克里斯特·塞格伯格 :
二维模态逻辑。 J.菲洛斯。 日志。 2 ( 1 ) : 77-96 ( 1973 ) 1972 [j1] 克里斯特·塞格伯格 :
模态逻辑中的后完备性。 J.塞姆。 日志。 37 ( 4 ) : 711-715 ( 1972 )