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

    Identifiers

    0 references
    0 references
    0 references
    0 references