Rectangular games

DOI10.2307/2586666zbMath0926.03080OpenAlexW4248053320MaRDI QIDQ4254698

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

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

Related Items

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

Cites Work

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