scientific article; zbMATH DE number 3263218

MaRDI QIDQ5549024zbMATH OpenFDO

Authors Leon Henkin

Publication date 1967

zbMATH Keywords

general logic

Cited in

(18)

• 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?
• Deux ou trois choses que je sais de L_n
• Complexity of two-variable dependence logic and IF-logic
• Cylindric modal logic
• \(\mathrm{FO}=\mathrm{FO}^3\) for linear orders with monotone binary relations
• Expressivity and Complexity of Dependence Logic
• Provability with Finitely Many Variables
• The adjacent fragment and Quine's limits of decision
• Craig interpolation for decidable first-order fragments
• The relational model of data and cylindric algebras
• Definability with bounded number of bound variables

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5549024)