Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The undecidability of propositional adaptive logic - MaRDI portal

The undecidability of propositional adaptive logic (Q2460176)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The undecidability of propositional adaptive logic
scientific article

    Statements

    title
    The undecidability of propositional adaptive logic (English)
    0 references
    author
    Leon Horsten
    0 references
    Philip D. Welch
    0 references
    published in
    Synthese
    0 references
    publication date
    14 November 2007
    0 references
    zbMATH DE Number
    5211706
    0 references
    zbMATH Keywords
    Adaptive logic
    0 references
    Paraconsistent logic
    0 references
    Dynamic logic
    0 references
    Undecidability
    0 references
    OpenAlex ID
    W2021342756
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2460176&oldid=35019987"
    Powered by MediaWiki