A sequent calculus for skeptical Default Logic (Q4610318)

From MaRDI portal
Revision as of 10:58, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
scientific article; zbMATH DE number 7002271
Language Label Description Also known as
English
A sequent calculus for skeptical Default Logic
scientific article; zbMATH DE number 7002271

    Statements

    title
    A sequent calculus for skeptical Default Logic (English)
    0 references
    author
    Nicola Olivetti
    0 references
    Piero A. Bonatti
    0 references
    publication date
    15 January 2019
    0 references
    cites work
    Q4296748
    0 references
    Q3703316
    0 references
    Q3988856
    0 references
    Q5750425
    0 references
    Q5805951
    0 references
    Q3829532
    0 references
    Q4273952
    0 references
    Q3348894
    0 references
    Q3807179
    0 references
    Q4844165
    0 references
    Q3358704
    0 references

    Identifiers

    DOI
    10.1007/BFb0027408
    0 references
    Mathematics Subject Classification ID
    03F03
    0 references
    03B60
    0 references
    68T27
    0 references
    zbMATH DE Number
    7002271
    0 references
    OpenAlex ID
    W1506700997
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4610318&oldid=37377693"
    Powered by MediaWiki