梅尔文配件
人员信息
附属： 美国纽约市立大学 奖项（2012年）： 赫布兰德奖
优化列表
2020年–今天
2021 
[公元67年] 梅尔文配件 
:
严格/容忍逻辑系列。 J.菲洛斯。 日志。 50 ( 2 ) : 363-394 ( 2021 ) 2020 [j66] 梅尔文配件 :
Bilattice基础。 拍打 7 ( 6 ) : 973-1016 ( 2020 ) [公元65年] 梅尔文配件 , 菲利佩·萨尔瓦多 :
具有恒定域语义的一阶对齐逻辑。 J.日志。 计算。 30 ( 1 ) : 193-216 ( 2020 ) [公元25年] 梅尔文配件 :
关于“约束方式”。 AiML公司 2020 : 7
2010 – 2019
2019 [公元64年] 梅尔文配件 :
什么是论证逻辑？ 芬丹。 信息学 165 ( 3-4 ) : 193-203 ( 2019 ) 2018 [i2] 梅尔文配件 , 菲利佩·萨尔瓦多 :
具有恒定域语义的一阶调整逻辑。 CoRR公司 abs/1808.09875 ( 2018 ) 2017 [公元63年] 梅尔文配件 :
关于模态和量词。 芬丹。 信息学 156 ( 3-4 ) : 297-330 ( 2017 ) [公元62年] 梅尔文配件 :
超一致逻辑、证据和理由。 Stud Logica公司 105 ( 6 ) : 1149-1166 ( 2017 ) 2016 [公元61年] 梅尔文配件 :
模态逻辑、论证逻辑和实现。 Ann.纯粹应用。 日志。 167 ( 8 ) : 615-648 ( 2016 ) [公元60年] 梅尔文配件 :
利用模型存在定理实现。 J.日志。 计算。 26 ( 1 ) : 213-234 ( 2016 ) 2015 [公元59年] 梅尔文配件 , 罗曼·库兹涅茨 :
通过嵌套序列进行模态插值。 Ann.纯粹应用。 日志。 166 ( 三 ) : 274-305 ( 2015 ) [约58] 梅尔文配件 :
Geach Logics的无切割证明系统。 拍打 2 ( 2 ) : 17-64 ( 2015 ) [公元24年] 梅尔文配件 :
准现实化。 TbiLLC公司 2015 : 313-332 2014 [j57] 阿尼尔·内罗德 , 梅尔文配件 :
编辑。 Ann.纯粹应用。 日志。 165 ( 1 ) : 1-2 ( 2014 ) [j56] 阿尼尔·内罗德 , 梅尔文配件 :
谢尔盖·阿特莫夫的生活和工作。 Ann.纯粹应用。 日志。 165 ( 1 ) : 3-5 ( 2014 ) [公元55年] 梅尔文配件 :
一阶证明逻辑的可能世界语义。 Ann.纯粹应用。 日志。 165 ( 1 ) : 225-240 ( 2014 ) [约54] 伯恩特·米勒 , 梅尔文配件 :
前言。 芬丹。 信息学 130 ( 1 ) ( 2014 ) [公元53年] 梅尔文配件 :
直觉主义逻辑的嵌套序列。 圣母院J.正式日志。 55 ( 1 ) : 41-61 ( 2014 ) 2012 [公元52年] 梅尔文配件 :
前缀表和嵌套序列。 Ann.纯粹应用。 日志。 163 ( 三 ) : 291-313 ( 2012 ) [j51] 梅尔文配件 :
托本·布拉纳，《混合逻辑及其证明理论》，《应用逻辑系列》第37卷，施普林格出版社，2011年，第XIII+231页。 国际标准图书编号：978-94-007-0001-7（精装版）EURO 99，95，国际标准图书号：978-94-007-0002-4（电子书）EURO99，99。 Stud Logica公司 100 ( 5 ) : 1051-1053 ( 2012 ) 2011 [约50] 梅尔文配件 :
关于游戏的推理。 Stud Logica公司 99 ( 1-3 ) : 143-169 ( 2011 ) [i1] 梅尔文配件 :
嵌套序列和前缀表。 TABLEAUX（研讨会、教程和短文） 2011 : 69 2010 [公元49年] 梅尔文配件 :
证明逻辑和混合逻辑。 J.应用。 日志。 8 ( 4 ) : 356-370 ( 2010 )
2000 – 2009
2009 [公元48年] 梅尔文配件 :
实现和LP。 Ann.纯粹应用。 日志。 161 ( 三 ) : 368-387 ( 2009 ) [公元47年] 梅尔文配件 :
How True It Is=谁说的是真的。 Stud Logica公司 91 ( 三 ) : 335-366 ( 2009 ) [第2页] 梅尔文配件 :
理由推理。 走向数学哲学 2009 : 107-123 2008 [j46] 梅尔文配件 :
论证逻辑、知识逻辑和保守性。 安。数学。 Artif公司。 智力。 53 ( 1-4 ) : 153-167 ( 2008 ) [j45] 梅尔文配件 :
量化的证据逻辑。 Ann.纯粹应用。 日志。 152 ( 1-3 ) : 67-83 ( 2008 ) 【c23】 梅尔文配件 :
S4L和局部可实现性。 企业社会责任 2008 : 168-179 [公元22年] 梅尔文配件 :
知识和保守的明确逻辑。 ISAIM公司 2008 2007 [公元44年] 梅尔文配件 :
修正FOIL 公理化Studia Logica , 84: 1-22, 2006. Stud Logica公司 85 ( 2 ) : 275 ( 2007 ) 【c21】 梅尔文配件 :
实现和LP。 LFCS公司 2007 : 212-223 [第1页] 梅尔文配件 :
模态证明理论。 模态逻辑手册 2007 : 85-138 2006 [公元43年] 梅尔文配件 :
FOIL公理化。 Stud Logica公司 84 ( 1 ) : 1-22 ( 2006 ) 2005 [公元42年] 梅尔文配件 :
语义上的证明逻辑。 Ann.纯粹应用。 日志。 132 ( 1 ) : 1-25 ( 2005 ) [公元20年] 梅尔文配件 :
我的一个错误。 我们将向他们展示！ (1) 2005 : 665-670 [第19条] 梅尔文配件 :
证据的量化逻辑。 沃尔利克 2005 : 59-71 2004 [公元41年] 梅尔文配件 :
一阶内涵逻辑。 Ann.纯粹应用。 日志。 127 ( 1-3 ) : 171-193 ( 2004 ) 2002 [j40] 梅尔文配件 :
一阶插值S5。 J.塞姆。 日志。 67 ( 2 ) : 621-634 ( 2002 ) [公元39年] 梅尔文配件 :
命题与一阶模态逻辑。 J.日志。 计算。 12 ( 6 ) : 1017-1026 ( 2002 ) [公元38年] 梅尔文配件 :
调查逻辑编程的定点语义。 西奥。 计算。 科学。 278 ( 1-2 ) : 25-51 ( 2002 ) [第18条] 梅尔文配件 :
互模拟和布尔向量。 模态逻辑的进展 2002 : 97-126 2001 [公元37年] 梅尔文配件 , 拉尔斯·塔尔曼 , 安德烈·沃伦科夫 :
终端模态逻辑。 Stud Logica公司 69 ( 1 ) : 133-169 ( 2001 ) 2000 [第17条] 叶瑞丽（Ruili Ye） , 梅尔文配件 :
信仰、姓名和表达方式。 模态逻辑的进展 2000 : 389-408 [第16条] 梅尔文配件 :
数据库和更高类型。 计算逻辑 2000 : 41-52 [第15条] 梅尔文配件 :
形态和数据库。 TABLEAUX公司 2000 : 19-39 [第14条] 梅尔文配件 , 拉尔斯·塔尔曼 , 安德烈·沃伦科夫 :
终端模态逻辑。 TABLEAUX公司 2000 : 220-236
1990 – 1999
1999 [公元36年] 梅尔文配件 :
一个简单命题S5表系统。 Ann.纯粹应用。 日志。 96 ( 1-3 ) : 107-115 ( 1999 ) [j35] 梅尔文配件 :
论量化模态逻辑。 芬丹。 信息学 39 ( 1-2 ) : 105-121 ( 1999 ) [公元34年] 梅尔文配件 :
巴坎双向。 J.应用。 非班级。 逻辑 9 ( 2-3 ) : 329-344 ( 1999 ) 1998 [j33] 梅尔文配件 :
重新访问leanTAP。 J.日志。 计算。 8 ( 1 ) : 33-47 ( 1998 ) [第13条] 梅尔文配件 :
伯特兰·罗素、赫伯兰定理和赋值语句。 AISC公司 1998 : 14-28 [第12条] 梅尔文配件 :
高阶模态逻辑-草图。 FTP（LNCS选择） 1998 : 23-38 1997 [公元32年] 梅尔文配件 :
偏爱虚假的真理理论。 J.菲洛斯。 日志。 26 ( 5 ) : 477-500 ( 1997 ) 1996 【b2】 梅尔文配件 :
一阶逻辑和自动定理证明，第二版。 计算机科学研究生课程 , 施普林格 1996 ，国际标准图书编号 978-1-4612-7515-2 第I-XVI页，1-326页 [公元31年] 梅尔文配件 :
计算Gödel-Löb定点的程序。 牛市。 EATCS公司 58 ( 1996 ) 【j30】 梅尔文配件 :
一个模态Herbrand定理。 芬丹。 信息学 28 ( 1-2 ) : 101-122 ( 1996 ) 1995 [公元29年] 梅尔文配件 :
多值模态逻辑表。 Stud Logica公司 55 ( 1 ) : 63-87 ( 1995 ) [第11条] 梅尔文配件 :
带注释的修订规范程序。 低密度核磁共振 1995 : 143-155 1994 [公元28年] 梅尔文配件 :
克莱恩的三值逻辑及其子逻辑。 芬丹。 信息学 20 ( 1/2/3 ) : 113-131 ( 1994 ) [j27] 梅尔文配件 :
逻辑编程表。 J.自动化。 原因。 13 ( 2 ) : 175-188 ( 1994 ) [公元26年] 梅尔文配件 :
度量方法三个例子和一个定理。 J.日志。 程序。 21 ( 三 ) : 113-127 ( 1994 ) 1993 [公元25年] 梅尔文配件 :
稳定模型系列。 J.日志。 程序。 17 ( 2/3&4 ) : 197-225 ( 1993 ) [第10条] 梅尔文配件 :
逻辑程序语义中的度量方法。 仪表着陆点 1993 : 69-71 1992 [公元24年] 梅尔文配件 :
多值模型逻辑2。 芬丹。 信息学 17 ( 1-2 ) : 55-73 ( 1992 ) [j23] 梅尔文配件 :
编辑。 J.日志。 计算。 2 ( 2 ) : 107-110 ( 1992 ) [公元22年] 梅尔文配件 , V.威克托·马雷克 , 米罗斯瓦·特鲁兹琴斯基 :
必然的纯粹逻辑。 J.日志。 计算。 2 ( 三 ) : 349-373 ( 1992 ) 【c9】 梅尔文配件 :
逻辑编程的多值语义。 JICSLP公司 1992 : 23-24 【c8】 梅尔文配件 :
多值非单调模态逻辑。 LFCS公司 1992 : 139-150 1991 [公元21年] 梅尔文配件 :
多值模态逻辑。 芬丹。 信息学 15 ( 3-4 ) : 235-254 ( 1991 ) [公元20年] 梅尔文配件 :
逻辑编程的双边性和语义。 J.日志。 程序。 11 ( 1&2 ) : 91-116 ( 1991 ) [公元19年] 梅尔文配件 :
克莱恩逻辑，广义。 J.日志。 计算。 1 ( 6 ) : 797-810 ( 1991 ) 【c7】 梅尔文配件 :
模态逻辑应该说得更多。 计算逻辑——纪念艾伦·罗宾逊的论文 1991 : 113-135 【c6】 梅尔文配件 :
基础良好的广义语义。 ISLP公司 1991 : 71-84 1990 【b1】 梅尔文配件 :
一阶逻辑与自动定理证明。 计算机科学中的文本和专著 , 施普林格 1990 ，国际标准图书编号 978-1-4684-0359-6 ，第1-232页 [公元18年] 梅尔文配件 :
破坏性模态分辨率。 J.日志。 计算。 1 ( 1 ) : 83-97 ( 1990 ) 【c5】 梅尔文配件 :
逻辑编程中的双参数。 ISMVL公司 1990 : 238-246
1980 – 1989
1989 [公元17年] 梅尔文配件 :
比拉提斯和真理理论。 J.菲洛斯。 日志。 18 ( 三 ) : 225-256 ( 1989 ) 【c4】 梅尔文配件 :
否定作为反驳。 低收入国家 1989 : 63-70 1988 [公元16年] 梅尔文配件 :
一阶模态表。 J.自动化。 原因。 4 ( 2 ) : 191-213 ( 1988 ) [公元15年] 梅尔文配件 :
伪布尔值序言。 Stud Logica公司 47 ( 2 ) : 85-91 ( 1988 ) 【c3】 梅尔文配件 , 玛丽恩·本·雅各布 :
分层和三值逻辑编程语义。 ICLP/SLP公司 1988 : 1054-1069 1987 [公元14年] 梅尔文配件 :
枚举运算符和模块化逻辑编程。 J.日志。 程序。 4 ( 1 ) : 11-21 ( 1987 ) 【c2】 梅尔文配件 :
直觉逻辑的解决方案。 ISMIS系统 1987 : 400-407 1986 [j13] 梅尔文配件 :
关于克里普克真理理论的数学方面的注释。 圣母院J.正式日志。 27 ( 1 ) : 75-88 ( 1986 ) [公元12年] 梅尔文配件 :
部分模型和逻辑编程。 西奥。 计算。 科学。 48 ( 三 ) : 229-255 ( 1986 ) 【c1】 梅尔文配件 :
使用紧凑数据结构的逻辑编程语义。 ISMIS系统 1986 : 247-255 1985 [公元11年] 梅尔文配件 :
确定性Prolog固定点语义。 J.日志。 程序。 2 ( 2 ) : 111-118 ( 1985 ) [公元10年] 梅尔文配件 :
逻辑程序的Kripke-Kleene语义。 J.日志。 程序。 2 ( 4 ) : 295-312 ( 1985 ) 1984 [公元9年] 梅尔文配件 :
模态逻辑中的线性推理。 J.塞姆。 日志。 49 ( 4 ) : 1363-1378 ( 1984 )
1970 – 1979
1978 [j8] 梅尔文配件 :
超算术关系的基本形式系统。 数学。 日志。 问：。 24 ( 1-6 ) : 25-30 ( 1978 ) 1977 [j7] 梅尔文配件 :
命题S5的表系统。 圣母院J.正式日志。 18 ( 2 ) : 292-294 ( 1977 ) 1975 [j6] 梅尔文配件 :
模态逻辑ε-演算。 圣母院J.正式日志。 16 ( 1 ) : 1-16 ( 1975 ) 1973 [j5] 梅尔文配件 :
模态逻辑和直觉逻辑的模型存在定理。 J.塞姆。 日志。 38 ( 4 ) : 613-627 ( 1973 ) 1972 【j4】 梅尔文配件 :
模态逻辑的表证明方法。 圣母院J.正式日志。 13 ( 2 ) : 237-247 ( 1972 ) [j3] 梅尔文配件 :
一些命题模态逻辑的基于ε演算的公理系统。 圣母院J.正式日志。 13 ( 三 ) : 381-384 ( 1972 ) 1971 [注2] 梅尔文配件 :
一种允许空域的表格证明方法。 圣母院J.正式日志。 12 ( 2 ) : 219-224 ( 1971 ) 1970 [j1] 梅尔文配件 :
经典逻辑在S4中的嵌入。 J.塞姆。 日志。 35 ( 4 ) : 529-534 ( 1970 )
