Quantifiers: logics, models and computation. Volume two: Contributions (Q1383002)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantifiers: logics, models and computation. Volume two: Contributions |
scientific article |
Statements
Quantifiers: logics, models and computation. Volume two: Contributions (English)
0 references
2 April 1998
0 references
The articles of this volume will be reviewed individually. For Vol. I see Zbl 0885.00033 above. Indexed articles: \textit{van Benthem, Johan}, Quantifiers and inference, 1-20 [Zbl 0898.03016] \textit{Brown, Mark A.}, Operators on branched quantifiers, 21-61 [Zbl 0905.03027] \textit{Caicedo, Xavier}, Hilbert's \(\varepsilon\)-symbol in the presence of generalized quantifiers, 63-78 [Zbl 0942.03529] \textit{Hella, Lauri; Sandu, Gabriel}, Partially ordered connectives and finite graphs, 79-88 [Zbl 0897.03039] \textit{Herre, Heinrich}, Theories of finitely determinate linear orderings in stationary logic, 89-113 [Zbl 0903.03023] \textit{Ivanov, Alexandre A.}, Definable second-order quantifiers and quasivarieties, 115-123 [Zbl 0897.03040] \textit{Krynicki, Michał}, Quantifiers determined by classes of binary relations, 125-138 [Zbl 0897.03041] \textit{Lenski, Wolfgang}, Decidability results for classes of ordered Abelian groups in logics with Ramsey-quantifiers, 139-168 [Zbl 0907.03016] \textit{Mijajlović, Žarko}, On the eliminability of the quantifier ``there exist uncountably many'', 169-179 [Zbl 0907.03017] \textit{Mostowski, Marcin}, Quantifiers definable by second order means, 181-214 [Zbl 0897.03042] \textit{Pinus, Alexandre G.}, Generalized quantifiers in algebra, 215-228 [Zbl 0905.03029] \textit{Wacławek, Marek}, On ordering of the family of logics with Skolem-Löwenheim property and countable compactness property, 229-236 [Zbl 0904.03027] \textit{Zawadowski, Marek W.}, Pre-orderd quantifiers in elementary sentences of natural language, 237-253 [Zbl 0906.03028] \textit{Brown, Mark A.}, Some remarks on Zawadowski's theory of preordered quantifiers, 255-264 [Zbl 0906.03029]
0 references
Quantifiers
0 references
Logics
0 references
Models
0 references
Computation
0 references