Quantification in nonclassical logic. Volume I. (Q731484)

From MaRDI portal
Revision as of 11:20, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Quantification in nonclassical logic. Volume I.
scientific article

    Statements

    title
    Quantification in nonclassical logic. Volume I. (English)
    0 references
    author
    Dov M. Gabbay
    0 references
    Dimitrij Skvortsov
    0 references
    Valentin Shehtman
    0 references
    publication date
    8 October 2009
    0 references
    Mathematics Subject Classification ID
    03-02
    0 references
    03B45
    0 references
    03B55
    0 references
    zbMATH DE Number
    5611027
    0 references
    zbMATH Keywords
    superintuitionistic logic
    0 references
    modal logic
    0 references
    nonclassical first-order quantification
    0 references
    model theory
    0 references
    completeness
    0 references
    soundness
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q731484&oldid=12651681"
    Powered by MediaWiki