Logic Colloquium '92
László Csirmaz, D.M. Gabbay, Maarten de Rijke · UvA-DARE (University of Amsterdam) · 1995
Series Foreword Contributors Preface Part I. General Algebraic Logic Including Algebraic Model Theory: 1. An overview Hajnal Andreka, Istvan Nemeti, Ildiko Sain and Agnes Kurucz 2. Sahlqvist formulas are not so elementary even S4 Alexander Chagrov and Michael Zakharyaschev 3. Fibred semantics 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 of algebraically closed subsets A. A. Ivanov 7. On the derivation of identities involving projection functions Roger D. Maddux 8. Decidable logics of the dynamic trend, and relativized relation algebras Szabolcs Mikulas, Istvan Nemeti and Ildiko Sain 9. Decidable versions of first order logic and cylindric-relativized set algebras Istvan Nemeti 10. On the problem of finitizing first order logic and its algebraic counterpart (A survey of results and methods) Ildiko Sain 11. A modal logic of quantification and substitution Yde Venema Indexes.