Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic

DOI10.1080/11663081.2020.1801967zbMath1486.03121OpenAlexW3047464430MaRDI QIDQ4995621

Tarek Sayed Ahmed

Publication date: 25 June 2021

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2020.1801967

zbMATH Keywords

modal logicalgebraic logicomitting typesatom canonicity

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bare canonicity of representable cylindric and polyadic algebras
• Cylindric-like algebras and algebraic logic
• Cylindric algebras. Part II
• Classification theory and the number of non-isomorphic models.
• Modal languages and bounded fragments of predicate logic
• Atom structures and Sahlqvist equations
• Atom structures of cylindric algebras and relation algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• Strongly representable atom structures of relation algebras
• THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS
• Graph Theory and Probability
• Strongly representable atom structures of cylindric algebras
• On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Weakly representable atom structures that are not strongly representable, with an application to first order logic
• Non-finite-axiomatizability results in algebraic logic
• Nonfinite axiomatizability results for cylindric and relation algebras
• Complete representations in algebraic logic
• Relation algebra reducts of cylindric algebras and an application to proof theory
• Various notions of represetability for cylindric and polyadic algebras
• Omitting types for finite variable fragments and complete representations of algebras
• Nonfinitizability of classes of representable cylindric algebras
• Nonfinitizability of classes of representable polyadic algebras
• Cylindric Algebras and Algebras of Substitutions

This page was built for publication: Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic