My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author Logic Colloquium (1992 : Veszprém, Hungary)

Title Logic Colloquium '92 / edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke.

Published Stanford, Calif. : CSLI Publications, c1995.


Location Call No. Status
 UniM Bund  511.3 LOGI {Bund10 20110701}    AVAILABLE
Physical description xiii, 319 p. : ill. ; 24 cm.
Series Studies in logic, language, and information
Notes Held Aug. 9-15, 1992, Veszprém, Hungary; sponsored by the Association for Symbolic Logic.
Bibliography Includes bibliographical references and indexes.
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.
Other author Csirmaz, László.
Gabbay, Dov M., 1945-
Rijke, Maarten de.
Association for Symbolic Logic.
Subject Logic, Symbolic and mathematical -- Congresses.
ISBN 1881526984 (pbk. : alk. paper)
1881526976 (cloth alk. paper)