Concepedia

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

Carlos E. Alchourrón, David Makinson

Theoria · 1982 · 253 citations · 2 references

On this page

Concepts

References

Concepts

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

References

2

Subjunctives, dispositions and chances

Isaac Levi · Synthese · 1977 · 154 citations

Syntax, Relevance Logic, Automated Reasoning +5

A Pragmatic Approach to Explanations

Peter Gärdenfors · Philosophy of Science · 1980 · 49 citations

Pragmatic Analysis, Knowledge Situation, Semantics +17