Quantifiers: logics, models and computation. Volume one: Surveys (Q1383001)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantifiers: logics, models and computation. Volume one: Surveys |
scientific article |
Statements
Quantifiers: logics, models and computation. Volume one: Surveys (English)
0 references
2 April 1998
0 references
The articles of this volume will be reviewed individually. For Vol. II see Zbl 0885.00034 below. Indexed articles: \textit{Krynicki, Michał; Mostowski, Marcin}, Quantifiers, some problems and ideas, 1-19 [Zbl 0904.03024] \textit{Lindström, Per}, Prologue, 21-34 [Zbl 0898.03015] \textit{Ebbinghaus, Heinz-Dieter}, On the model theory of some generalized quantifiers, 25-62 [Zbl 0903.03022] \textit{Hella, Lauri; Luosto, Kerkko}, Finite generation problem and \(n\)-ary quantifiers, 63-104 [Zbl 0907.03018] \textit{Väänänen, Jouko}, Games and trees in infinitary logic: A survey, 105-138 [Zbl 0905.03026] \textit{Herre, Heinrich}, Theory of linear order in extended logics, 139-192 [Zbl 0905.03028] \textit{Krynicki, Michał; Mostowski, Marcin}, Henkin quantifiers, 193-262 [Zbl 0904.03023] \textit{Caicedo, Xavier}, Continuous operations on spaces of structures, 263-296 [Zbl 0904.03025] \textit{Flum, Jörg}, Model theory of topological structures, 297-312 [Zbl 0901.03031] \textit{Makowsky, Johann A.; Pnueli, Yachin B.}, Computable quantifiers and logics over finite structures, 313-357 [Zbl 0905.03018] \textit{Westerståhl, Dag}, Quantifiers in natural language. A survey of some recent work, 359-408 [Zbl 0906.03027]
0 references
Quantifiers
0 references
Logics
0 references
Models
0 references
Computation
0 references