Relativised quantification: Some canonical varieties of sequence-set algebras

Journal of Symbolic Logic

Volumn 63, Issue 1, 1998, Pages 163-184

  Andréka, Hajnal ^a   Goldblatt, Robert ^b   Németi, István ^a  

^a ALFRÉD RÉNYI INSTITUTE OF MATHEMATICS   (Hungary)

^b VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0040163853     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586595     Document Type: Article

References (18)

1. N. ALECHINA and M. VAN LAMBALGEN, Correspondence and completeness for generalised quantifiers, Technical Report X-94-03, Institute for Logic, Language and Computation (ILLC), University of Amsterdam, 1994.
2. NATASHA ALECHINA, Modal quantifiers, Ph.D. thesis, University of Amsterdam, 1995.
3. n, manuscript, Mathematical Institute, Budapest, September 1995.
4. H. ANDRÉKA and R. J. THOMSON, A Stone type representation theorem for algebras of relations of higher rank, Transactions of the American Mathematical Society, vol. 309 (1988), pp. 671-682.
5. H. ANDRÉKA, J. VAN BENTHEM, and I. NÉMETI, Modal languages and bounded fragments of predicate logic, to appear in Journal of Philosophical Logic, 1996.
6. ROBERT GOLDBLATT, Varieties of complex algebras, Annals of Pure and Applied Logic, vol. 44 (1989), pp. 173-242.
7. _, Elementary generation and canonicity for varieties of Boolean algebras with operators, Algebra Universalis, vol. 34 (1995), pp. 551-607.
8. _, Algebraic polymodal logic, Research Report 96-175, Mathematics Department, Victoria University of Wellington, to appear in Handbook of Algebraic Logic (H. Andréka et. al., editors), Kluwer Academic Publishers, in preparation, January 1996.
9. L. HENKIN, J. D. MONK, and A. TARSKI, Cylindric algebras I, North-Holland, 1971.
10. _, Cylindric algebras II, North-Holland, 1985.
11. L. HENKIN, J. D. MONK, A. TARSKI, H. ANDRÉKA, and I. NÉMETI, Cylindric set algebras, Lecture Notes in Mathematics, no. 883, Springer-Verlag, 1981.
12. B. JÓNSSON and A. TARSKI, Boolean algebras with operators, Part I, American Journal of Mathematics, vol. 73 (1951), pp. 891-939.
13. MAARTEN MARX, Algebraic relativization and arrow logic, Ph.D. thesis, University of Amsterdam, 1995.
14. SZABOLCS MIKULÁS, Taming logics, Ph.D. thesis, University of Amsterdam, 1995.
15. J. D. MONK, Lectures on cylindric set algebras, Algebraic methods in logic and in computer science (C. Rauzer, editor), Banach Center Publications, no. 28, Institute of Mathematics, Polish Academy of Sciences, 1993, pp. 253-290.
16. I. NÉMETI, Connections between cylindric algebras and initial algebra semantics of CF languages, Mathematical logic in computer science (B. Dömölki and T. Gergely, editors), Colloquia Mathematica Societatis János Bolyai, vol. 26, North-Holland, 1981, Proceedings of Conference in Salgótarján, Hungary, 1978, pp. 561-605.
17. _, Free algebras and decidability in algebraic logic, technical report, Hungarian Academy of Sciences, Budapest (in Hungarian, Dissertation for D. Sc.), 1986.
18. _, Decidable versions of first order logic and cylindric-relativised set algebras, Logic colloquium '92 (L. Csirmaz, D. M. Gabbay, and M. de Rijke, editors), CSLI Publications, Stanford, California, and European Association for Logic, Language and Information, 1995, pp. 177-241.