scientific article; zbMATH DE number 3263218

zbMath0164.30702MaRDI QIDQ5549024

Leon Henkin

Publication date: 1967

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general logic

Related Items

Preservation of expressive completeness in temporal models, Leon Henkin and Cylindric Algebras, Leon Henkin the Reviewer, Changing a Semantics: Opportunism or Courage?, Provability with Finitely Many Variables, On varieties of cylindric algebras with applications to logic, Expressive completeness failure in branching time structures, Cylindric modal logic, Quantifiers as modal operators, Definability with bounded number of bound variables, Complexity of two-variable dependence logic and IF-logic, Unnamed Item, Expressivity and Complexity of Dependence Logic, The relational model of data and cylindric algebras, The revival of rejective negation, Deux ou trois choses que je sais de L_n