scientific article; zbMATH DE number 3616426

zbMath0397.03042MaRDI QIDQ4180350

George Georgescu

Publication date: 1979

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

zbMATH Keywords

Representation TheoremModal LogicAlgebras of Infinite Degree with EqualityBowen ForcingLocally Finite Normal Modal Polyadic AlgebrasPolyadic Heyting Algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items

The abstract variable-binding calculus ⋮ Omitting types algebraically and more about amalgamation for modal cylindric algebras ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ Algebraization of quantifier logics, an introductory overview ⋮ A representation theorem for polyadic Heyting algebras