On the logic of theory change: Safe contraction.
Carlos E. AlchourrónDavid MakinsonPublished in: Stud Logica (1985)
Keyphrases
- formal theory
- computer algebra
- proof theory
- probability theory
- logic programming
- theoretical framework
- set theory
- logical framework
- deductive reasoning
- database
- asynchronous circuits
- commonsense reasoning
- general theory
- computational properties
- belief revision
- neural network
- classical logic
- belief change
- decision theory
- theoretical basis
- predicate logic
- information theory
- modal logic
- decision making
- real time