The following pages link to (Q4530874):
Displaying 8 items.
- A synthesis of Hempelian and hypothetico-deductive confirmation (Q485950) (← links)
- A structuralist theory of belief revision (Q548705) (← links)
- Preferences and explanations (Q814503) (← links)
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Representation theorems for explanatory reasoning based on cumulative models (Q959052) (← links)
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251) (← links)
- A semantics and methodology for \textit{ceteris paribus} hypotheses (Q1811057) (← links)
- Formal logics of discovery and hypothesis formation by machine (Q1870530) (← links)
