On counting propositional logic and Wagner's hierarchy (Q6100184)

From MaRDI portal
Revision as of 18:26, 30 December 2024 by Import241228121245 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7699965
Language Label Description Also known as
English
On counting propositional logic and Wagner's hierarchy
scientific article; zbMATH DE number 7699965

    Statements

    title
    On counting propositional logic and Wagner's hierarchy (English)
    0 references
    author
    Melissa Antonelli
    0 references
    Ugo Dal Lago
    0 references
    Paolo Pistone
    0 references
    publication date
    21 June 2023
    0 references
    zbMATH Keywords
    quantified propositional logic
    0 references
    counting quantifiers
    0 references
    counting hierarchy
    0 references
    computational complexity
    0 references
    cites work
    Q5503674
    0 references
    Q4836494
    0 references
    Q5214813
    0 references
    Q4133135
    0 references
    Q4451078
    0 references
    Q5089025
    0 references
    Q4323294
    0 references
    Q4131648
    0 references
    Proof Analysis
    0 references
    Probabilistic logic
    0 references
    Games against nature
    0 references
    Probabilistic automata
    0 references
    Maximin automata
    0 references
    Q3217604
    0 references

    Identifiers

    zbMATH DE Number
    7699965
    0 references
    OpenAlex ID
    W4377990693
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6100184&oldid=39700376"
    Powered by MediaWiki