Quantifiers : logics, models, and computation
Author(s)
Bibliographic Information
Quantifiers : logics, models, and computation
(Synthese library, v. 248-249)
Kluwer Academic Publishers, c1995
- : set
- v. 1
- v. 2
Related Bibliography 2 items
Available at / 26 libraries
-
Science and Technology Library, Kyushu University
v. 1410.96/Kr 9/(1)068252195008506,
v. 2410.96/Kr 9/(2)068252195008495 -
Kumamoto University Library文(哲学)
v. 1410.96||Q,1||(1)||07-44510231616,
v. 2410.96||Q,1||(2)||07-44610231617 -
v. 1 : acid-free paper10095300590,
v. 2 : acid-free paper10095300591 -
Tokyo University of Foreign Studies Library
v. 1K/410/642448/10000642448,
v. 2K/410/642448/20000642449 -
Doshisha University Library (Imadegawa)
v. 1A410.9;K428;12D;9620007452,
v. 2A410.9;K428;22D;9620029855 -
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
v. 1511.3/K9492070352096,
v. 2511.3/K9492070352108 -
No Libraries matched.
- Remove all filters.
Note
Vol. 1. Surveys -- v. 2. Contributions
Includes bibliographies and indexes
Description and Table of Contents
- Volume
-
v. 1 ISBN 9780792334484
Description
Table of Contents
- Preface. Quantifiers, Some Problems and Ideas
- M. Krynicki, M. Mostowski. Prologue
- P. Lindstroem. On the Model Theory of Some Generalized Quantifiers
- H.D. Ebbinghaus. Finite Generation Problem and n-ary Quantifiers
- L. Hella, K. Luosto. Games and Trees in Infinitary Logic: a Survey
- J. Vaanaen. Theory of Linear Order in Extended Logics
- H. Herre. Henkin Quantifiers
- M. Krynicki, M. Mostowski. Continuous Operations on Spaces of Structures
- X. Caicedo. Model Theory of Topological Structures
- J. Flum. Computable Quantifiers and Logics over Finite Structures
- J.A. Makowski, Y.B. Pnueli. Quantifiers in Natural Language. A Survey of Some Recent Work
- D. Westerstahl. Index of Names.
- Volume
-
v. 2 ISBN 9780792334491
Description
Table of Contents
- Preface. Quantifiers and Inference
- J. van Benthem. Operators on Branched Quantifiers
- M.A. Brown. Hilbert's Epsilon-Symbol in the Presence of Generalized Quantifiers
- X. Caicedo. Partially Ordered Connectives and Finite Graphs
- L. Hella, G. Sandu. Theories of Finitely Determined Linear Orderings in Stationary Logics
- H. Herre. Definable Second-Order Quantifiers and Quasivarieties
- A.A. Ivanov. Quantifiers Determined by Classes of Binary Relations
- M. Krynicki. Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey Quantifiers
- W. Lenski. On the Eliminability of the Quantifier `There Exists Uncountably Many'
- Z. Mijajlovic. Quantifiers Definable by Second Order Means
- M. Mostowski. Generalized Quantifiers in Algebra
- A.G. Pinus. On Ordering of the Family of Logics with Skolem-Loewenheim Property and Countable Compactness Property
- M. Waclawek.DAGGER. Pre-Ordered Quantifiers in Elementary Sentences of Natural Language
- M.W. Zawadowsky. Some Remarks on Zawadowski's `Theory of Preordered Quantifiers'
- M.A. Brown. Index of Names.
- Volume
-
: set ISBN 9780792334507
Description
Table of Contents
- Preface. Quantifiers and Inference
- J. van Benthem. Operators on Branched Quantifiers
- M.A. Brown. Hilbert's Epsilon-Symbol in the Presence of Generalized Quantifiers
- X. Caicedo. Partially Ordered Connectives and Finite Graphs
- L. Hella, G. Sandu. Theories of Finitely Determined Linear Orderings in Stationary Logics
- H. Herre. Definable Second-Order Quantifiers and Quasivarieties
- A.A. Ivanov. Quantifiers Determined by Classes of Binary Relations
- M. Krynicki. Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey Quantifiers
- W. Lenski. On the Eliminability of the Quantifier `There Exists Uncountably Many'
- Z. Mijajlovic. Quantifiers Definable by Second Order Means
- M. Mostowski. Generalized Quantifiers in Algebra
- A.G. Pinus. On Ordering of the Family of Logics with Skolem-Loewenheim Property and Countable Compactness Property
- M. Waclawek.DAGGER. Pre-Ordered Quantifiers in Elementary Sentences of Natural Language
- M.W. Zawadowsky. Some Remarks on Zawadowski's `Theory of Preordered Quantifiers'
- M.A. Brown. Index of Names.
by "Nielsen BookData"