Cylindric modal logic

Journal of Symbolic Logic 60 (2):591-623 (1995)
Abstract
Treating the existential quantification ∃ν i as a diamond $\diamond_i$ and the identity ν i = ν j as a constant δ ij , we study restricted versions of first order logic as if they were modal formalisms. This approach is closely related to algebraic logic, as the Kripke frames of our system have the type of the atom structures of cylindric algebras; the full cylindric set algebras are the complex algebras of the intended multidimensional frames called cubes. The main contribution of the paper is a characterization of these cube frames for the finite-dimensional case and, as a consequence of the special form of this characterization, a completeness theorem for this class. These results lead to finite, though unorthodox, derivation systems for several related formalisms, e.g. for the valid n-variable first order formulas, for type-free valid formulas and for the equational theory of representable cylindric algebras. The result for type-free valid formulas indicates a positive solution to Problem 4.16 of Henkin, Monk and Tarski [16]
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275853
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,162
Through your library
References found in this work BETA
Varieties of Complex Algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.
Quantifiers as Modal Operators.Steven T. Kuhn - 1980 - Studia Logica 39 (2-3):145 - 158.
On Varieties of Cylindric Algebras with Applications to Logic.I. Németi - 1987 - Annals of Pure and Applied Logic 36 (3):235-277.

Add more references

Citations of this work BETA
Algebraic Logic, Where Does It Stand Today?Sayed Ahmed Tarek - 2005 - Bulletin of Symbolic Logic 11 (4):465-516.
The Range of Modal Logic.Johan van Benthem - 2012 - Journal of Applied Non-Classical Logics 9 (2-3):407-442.
Taming Logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.

Add more citations

Similar books and articles

Monthly downloads

Added to index

2009-01-28

Total downloads

218 ( #16,754 of 2,152,250 )

Recent downloads (6 months)

2 ( #281,219 of 2,152,250 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums