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
    0 references
    belief revision
    0 references
    contraction
    0 references
    deletion on object level
    0 references
    anti-formula
    0 references
    0 references