Algebraic Semantics for Modal Predicate Logic
From MaRDI portal
Publication:4124818
DOI10.1002/malq.19760220162zbMath0354.02022OpenAlexW1968907100MaRDI QIDQ4124818
Publication date: 1976
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19760220162
Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
The abstract variable-binding calculus ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ Algebraization of quantifier logics, an introductory overview ⋮ A representation theorem for polyadic Heyting algebras ⋮ On systems of varieties definable by schemes of equations