迈克尔·蒂姆金
人员信息
优化列表
2010 – 2019
2013 [公元11年] 迈克尔·蒂姆金 :
偶然事件逻辑的连续演算。 J.应用。 日志。 11 ( 4 ) : 530-535 ( 2013 )
2000 – 2009
2007 [公元10年] 迈克尔·卡明斯基 , 迈克尔·L·蒂姆金 :
集群可分解克里普克解释的模态逻辑。 圣母院J.正式日志。 48 ( 4 ) : 511-520 ( 2007 )
1990 – 1999
1998 [公元9年] 迈克尔·卡明斯基 , 约翰·马科斯基 , 迈克尔·蒂姆金 :
通过领域封闭假设对开放默认理论的扩展。 J.日志。 计算。 8 ( 2 ) : 169-187 ( 1998 ) 1996 [j8] 迈克尔·卡明斯基 , 迈克尔·蒂姆金 :
二阶命题模态逻辑的表达能力。 圣母院J.正式日志。 37 ( 1 ) : 35-43 ( 1996 ) 【c4】 迈克尔·卡明斯基 , 约翰·马科斯基 , 迈克尔·蒂姆金 :
通过领域封闭假设对开放缺省理论的扩展。 犹太教徒 1996 : 373-387 1995 [j7] 迈克尔·蒂姆金 , 迈克尔·卡明斯基 :
动作逻辑的语义分析。 J.日志。 计算。 5 ( 2 ) : 203-212 ( 1995 ) 1991 [j6] 马丁·查尔斯·格伦比奇 , 莫西·马尔科维奇 , 迈克尔·蒂姆金 :
一种满足大学要求的知识表示语言。 Decis公司。 支持系统。 7 ( 1 ) : 33-45 ( 1991 ) [j5] 迈克尔·蒂姆金 , 约翰·马科斯基 :
有限概率命题动态逻辑的可判定性。 Inf.计算。 94 ( 2 ) : 180-203 ( 1991 ) 【j4】 迈克尔·蒂姆金 , 迈克尔·卡明斯基 :
非单调默认模态逻辑。 美国临床医学杂志 38 ( 4 ) : 963-984 ( 1991 ) 1990 [j3] 迈克尔·卡明斯基 , 迈克尔·蒂姆金 :
分支时间逻辑的有限路径和循环路径模型。 J.日志。 计算。 1 ( 1 ) : 71-82 ( 1990 ) 【c3】 迈克尔·蒂姆金 , 迈克尔·卡明斯基 :
非单调默认模态逻辑。 TARK(目标) 1990 : 73-83
1980 – 1989
1989 [注2] 迈克尔·L·蒂姆金 :
概率终止与公平终止。 西奥。 计算。 科学。 66 ( 三 ) : 333-340 ( 1989 ) 1988 【c2】 迈克尔·蒂姆金 :
证明无法实现。 低收入国家 1988 : 22-26 1985 [j1] 迈克尔·蒂姆金 , 约翰·马科斯基 :
带有局部赋值的命题动态逻辑。 西奥。 计算。 科学。 36 : 71-87 ( 1985 ) 【c1】 尼西姆·弗朗西兹 , 沙洛姆·戈登伯格 , 罗恩·平特 , 迈克尔·蒂姆金 , 沙洛姆·特苏尔 :
逻辑编程环境。 幻灯片 1985 : 179-190 1983 【b1】 迈克尔·蒂姆金 :
命题动态逻辑的扩展:具有局部赋值的命题动态逻辑; 命题概率动态逻辑。 Technion-以色列理工学院,以色列, 1983