CORE

🇺🇦   make metadata, not war

    16 research outputs found

    The expressive power of Malitz quantifiers for linear orderings

    Author
    Publication venue
    Published by Elsevier B.V.
    Publication date
    Field of study
    Get PDF
    Elsevier - Publisher Connector

    The expressive power of Malitz quantifiers for linear orderings

    Author
    Publication venue
    'Elsevier BV'
    Publication date
    Field of study
    No full text
    Crossref

    On the decidability of the theory of linear orderings with generalized quantifiers

    Author
    Publication venue
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Publication date
    Field of study
    No full text
    Biblioteka Nauki - repozytorium artykułów

    Undecidable Theories in Stationary Logic

    Author
    Publication venue
    'JSTOR'
    Publication date
    Field of study
    Full text link
    Crossref

    The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier

    Author
    Publication venue
    'Wiley'
    Publication date
    Field of study
    No full text
    Crossref

    ω-Trees in stationary logic

    Author
    Publication venue
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Publication date
    Field of study
    No full text
    Biblioteka Nauki - repozytorium artykułów

    An axiomatization of the logic with the rough quantifier

    Author
    Publication venue
    'JSTOR'
    Publication date
    Field of study
    No full text
    Crossref

    ZUM VERGLEICH VON HÄRTIGQUANTOR UND RESCHERQUANTOR

    Author
    Publication venue
    'Wiley'
    Publication date
    Field of study
    No full text
    Crossref

    Entscheidbarkeit Der Theorie Der Linearen Ordnung In LQ1

    Author
    Publication venue
    'Wiley'
    Publication date
    Field of study
    No full text
    Crossref
    corecore