Rectangular games

DOI10.2307/2586666MaRDI QIDQ4254698zbMATH OpenOpenAlexFDO

Authors Yde Venema

Publication date 29 June 1999

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2586666

zbMATH Keywords

axiomatizationsdiagonal-free cylindric algebrafinite-variable fragments of first-order logic without equalitymulti-dimensional modal S5-logicrectangularly dense cylindric algebra

Mathematics Subject Classification ID

Applications of game theory (91A80) 2-person games (91A05) Modal logic (including the logic of norms) (03B45) Other game-theoretic models (91A40) Subsystems of classical logic (including intuitionistic logic) (03B20) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Notions of density that imply representability in algebraic logic
• Geometrical representation theorems for cylindric-type algebras
• Axiomatising Various Classes of Relation and Cylindric Algebras
• Step by step – Building representations in algebraic logic

Cites work

• Derivation rules as anti-axioms in modal logic
• Notions of density that imply representability in algebraic logic
• Step by step – Building representations in algebraic logic

Cited in

(4)

• Algebraic Logic, Where Does it Stand Today?
• Notions of density that imply representability in algebraic logic
• Neat embeddings, omitting types, and interpolation: an overview
• A brief history of Tarskian algebraic logic with new perspectives and innovations

This page was built for publication: Rectangular games

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