Belief contraction, anti-formulae and resource overdraft: Part I deletion in resource bounded logics

TY - JOUR

T1 - Belief contraction, anti-formulae and resource overdraft: Part I deletion in resource bounded logics

AU - Gabbay, D M

AU - Rodrigues, O

AU - Woods, J

PY - 2002

Y1 - 2002

N2 - There are several areas in applied logic where deletion from databases is involved in one way or another: 1. Belief contraction (as formulated in the AGM theory of revision and contraction) 2. Triggers of the form 'If condition then remove A', which are extensively used in database management systems 3. Resource considerations as in relevance and linear logics, where addition or removal of resource can affect provability 4. Free logic and the like, where existence and non-existence of individuals affects quantification. All of these areas have certain logical difficulties relating to the removal of elements. These difficulties are normally overcome by working on the meta-level. This paper offers a comprehensive model in which the various forms of removal are treated on the object level, i.e., as connectives of the object language.

AB - There are several areas in applied logic where deletion from databases is involved in one way or another: 1. Belief contraction (as formulated in the AGM theory of revision and contraction) 2. Triggers of the form 'If condition then remove A', which are extensively used in database management systems 3. Resource considerations as in relevance and linear logics, where addition or removal of resource can affect provability 4. Free logic and the like, where existence and non-existence of individuals affects quantification. All of these areas have certain logical difficulties relating to the removal of elements. These difficulties are normally overcome by working on the meta-level. This paper offers a comprehensive model in which the various forms of removal are treated on the object level, i.e., as connectives of the object language.

U2 - 10.1093/jigpal/10.6.601

DO - 10.1093/jigpal/10.6.601

M3 - Article

VL - 10

SP - 601

EP - 652

JO - LOGIC JOURNAL- IGPL

JF - LOGIC JOURNAL- IGPL

IS - 6

ER -