scientific article; zbMATH DE number 3263218
From MaRDI portal
Publication:5549024
zbMath0164.30702MaRDI QIDQ5549024
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
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 Ln
This page was built for publication: