邏輯語義學博弈论语义近来已经复苏,主要由于 Jaakko Hintikka 的(有限)偏序量化的逻辑,这最初是 Leon Henkin 在他的“Henkin 量词”中研究的。 或然性语义 创立自 H. Field,并被证明等价于和自然一般化了真值语义。像真值语义一样,它也是在自然中没有参照的。
二階邏輯在Henkin语义中,每个二阶变量种类都有它自己取值的特定论域,它可以是所有此类的所有集合或函数的真子集。Leon Henkin(1950)定义了这种语义并证明了对一阶逻辑成立的哥德尔完全性定理和紧致性定理,在有Henkin语义的二阶逻辑中继续有效。这是因为Henkin
圆柱代数_{i}(d_{ij}\cdot x)\cdot \exists _{i}(d_{ij}\cdot -x)=0} 抽象代数逻辑 一元布尔代数 Leon Henkin, Monk, J.D., and Alfred Tarski (1971) Cylindric Algebras, Part I. North-Holland
逻辑学家列表Girard 库尔特·哥德尔(奥地利,美国,1906年-1978年) Anil Gupta Susann Haack(英國,1945年-) Leon Henkin Jacques Herbrand(法國) 阿蘭德·海廷(1898年-1980年) 大卫·希尔伯特(德国,1862年-1943年) 亚科·欣蒂卡(芬蘭,1929年-2015年)
高阶逻辑Simple Theory of Types. Journal of Symbolic Logic, Vol. 5, 1940, 56-68. Leon Henkin: Completeness in the theory of types. Journal of Symbolic Logic, Vol