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