On the logic of theory change: Contraction functions and their associated revision functions - Concepedia

Concepedia

Publication | Closed Access

On the logic of theory change: Contraction functions and their associated revision functions

253

Citations

2

References

1982

Year

Carlos E. Alchourrón, David Makinson

EngineeringContraction FunctionsAutomated ReasoningPhilosophy Of LogicFormal MethodsModel TheoryRevision FunctionsFormal SystemHigher-order LogicTheory ChangeLogical Formalism

References

	Year	Citations

Page 1