Weakly higher order cylindric algebras and finite axiomatization of the representables
Cylindric Modal Logic
Free Boolean algebras with closure operators and a conjecture of Henkin, Monk, and Tarski∗
Untitled
Cylindric-like Algebras and Algebraic Logic | Hajnal Andréka | Springer
PDF) Some constructions of cylindric algebra theory applied to dynamic algebras of programs
Reducing first-order logic to Df3, free algebras.
Cylindric Set Algebras (Lecture Notes in Mathematics (883)): Henkin, L., Monk, J. D., Tarski, A., Andreka, H., Nemeti, I.: 9783540108818: Amazon.com: Books
PDF) Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables
9780444876799: Cylindric Algebras (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS) (Pt. 2) - AbeBooks - Henkin, Leon; Monk, J. Donald; Tarski, Alfred: 0444876790
A formalization of logic in diagonal-free cylindric algebras
PDF) On the structure of Lindenbaum algebras: an approach using algebraic logic
Mathematical Logic
Decidable and undecidable modal logics with a binary modality
Relation Algebras by Games (Volume 147) (Studies in Logic and the Foundations of Mathematics, Volume 147): Hirsch, Robin, Hodkinson, Ian: 9780444509321: Amazon.com: Books
ON THE CATEGORICAL ALGEBRAS OF FIRST-ORDER LOGIC George Voutsadakis Received November 11, 2003 1 Introduction This paper continu
Monk, J. Donald 1930- (James Donald) [WorldCat Identities]
Mathematical Logic | J.D. Monk | Springer
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508
Cylindric Modal Logic
ON UNIVERSAL ALGEBRAIC LOGIC AND CYLINDRIC ALGEBRAS
ON CANONICITY AND COMPLETIONS OF WEAKLY REPRESENTABLE RELATION ALGEBRAS §1. Introduction. The aim of this paper is to show that
Donald Monk. On the representation theory for cylindric algebras. Pacific journal of mathematics, vol. 11 (1961), pp. 1447–1457. | The Journal of Symbolic Logic | Cambridge Core
Cylindric Algebras with Filter Quantifiers
Question about restricted/unrestricted formulas in Henkin, Monk, and Tarski's "Cylindric Algebras, Part II" - Mathematics Stack Exchange