Logic Colloquium '92

This volume is a selection of papers from the European Summer Meeting of the Association for Symbolic Logic, held in Veszprém, Hungary, in August 1992. The papers included grew out of invited and contributed talks talks on the two main themes of the conference, algebraic logic, and the axiomatizability and decidability of logical systems. Written from an interdisciplinary perspective, most of the contributions investigate logical properties of formal systems by studying algebraic properties of coerresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics.

Significant and timely, Logic Colloquium '92 is a collection of articles on algebraic logic and related areas written by the leading scholars in these fields.

László Csirmaz is a senior research scientist at the Mathematical Institute of the Hungarian Academy of Science, Budapest Hungary. Dov M. Gabbay is professor of computing science at the Department of Computing, Imperial College of Science, Technology and Medicine, London U.K. Maarten de Rijke is a research scientist at the Center for Mathematics and Computer Science (CWI) in Amsterdam, the Netherlands.

Series Foreword
Contributors
Preface
1 General Algebraic Logic including Algebraic Model Theory: An Overview Hajnal Andréka, István Németi, Ildikó Sain, and Ágnes Kurecz
2 Sahlqvist Formulas are not so Elementary Even above S4 Alexander Chagrov and Michael Zakharyaschev
3 Fibred Semantics and the Weaving of Logics. Part 2: Fibring Non-monotonic Logics D.M Gabbay
4 Irreducible Models and Definable Embeddings Silvio Ghilardi
5 Finitizability Questions for some Reducts of Cylindirc 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 Mikulás, István Németi and Ildikó Sain
9 Decidable Versions of First Order Logic and Cylindric-Relativized Set Algebras István Németi
10 On the Problem of Finitizing First Order Logic and its Algebraice Counterpart (A Survey of Results and Methods) Ildikó Sain
11 A Modal Logic of Quantification and Substitution Yde Venema
Name Index
Subject Index

6/1/95

ISBN (Paperback): 1881526984 (9781881526988)
ISBN (Cloth): 1881526976 (9781881526971)
ISBN (Electronic): 168400005X (9781684000050)

Logic Colloquium '92

Contents