Research Catalog

Logic Colloquium '92

Title: Logic Colloquium '92 / edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke.
Author: Logic Colloquium (1992 : Veszprém, Hungary)
Publication: Stanford, Calif. : CSLI Publications, [1995], ©1995.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	BC135 .L576 1992	Off-site

Additional Authors

Description

xiii, 319 pages : illustrations; 24 cm.

Series Statement

Studies in logic, language, and information

Uniform Title

Studies in logic, language, and information.

Subject

Note

Held Aug. 9-15, 1992, Veszprém, Hungary; sponsored by the Association for Symbolic Logic.

Bibliography (note)

Contents

1. General Algebraic Logic including Algebraic Model Theory: An Overview / Hajnal Andreka, Istvan Nemeti, Ildiko Sain and Agnes Kurucz -- 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 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.

ISBN

LCCN

95024484

OCLC

ocm32859675

Owning Institutions

Columbia University Libraries