Rectangular games

DOI10.2307/2586666zbMATH Open0926.03080OpenAlexW4248053320MaRDI QIDQ4254698FDOQ4254698

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

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

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)

Cites Work

• Step by step – Building representations in algebraic logic
• Derivation rules as anti-axioms in modal logic
• Notions of density that imply representability 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)