Quantifiers: logics, models and computation. Volume one: Surveys (Q1383001)

From MaRDI portal
Revision as of 03:09, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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

    Identifiers

    0 references
    0 references
    0 references
    0 references