内容

目次

Series Foreword; Contributors; Preface; Part I. General Algebraic LogicIncluding Algebraic Model Theory: 1. An overview Hajnal Andreka, IstvanNemeti, Ildiko Sain and Agnes Kurucz; 2. Sahlqvist formulas are not soelementary even S4 Alexander Chagrov and Michael Zakharyaschev; 3. Fibredsemantics and the weaving of logics; Part II. Fibring Non-Monotonic Logics D.M. Gabbay; 4. Irreducible models and definable embeddings Silvio Ghilardi; 5.Finitizability questions for some reducts of cylindric algebras Ben Hansen;6. Countably categorical structures with a distributive lattice ofalgebraically closed subsets A. A. Ivanov; 7. On the derivation of identitiesinvolving projection functions Roger D. Maddux; 8. Decidable logics of thedynamic trend, and relativized relation algebras Szabolcs Mikulas, IstvanNemeti and Ildiko Sain; 9. Decidable versions of first order logic andcylindric-relativized set algebras Istvan Nemeti; 10. On the problem offinitizing first order logic and its algebraic counterpart (A survey ofresults and methods) Ildiko Sain; 11. A modal logic of quantification andsubstitution Yde Venema; Indexes.