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
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics - MaRDI portal

Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics (Q4796511)

From MaRDI portal





scientific article; zbMATH DE number 1876809
Language Label Description Also known as
English
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
scientific article; zbMATH DE number 1876809

    Statements

    Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics (English)
    0 references
    0 references
    0 references
    0 references
    16 October 2003
    0 references
    belief revision
    0 references
    contraction
    0 references
    deletion on object level
    0 references
    anti-formula
    0 references

    Identifiers