@incollection {J:flash,
	title = {A Formal Logic for the Abduction of Singular Hypotheses},
	booktitle = {Explanation, Prediction, and Confirmation},
	year = {2011},
	pages = {93{\textendash}108},
	publisher = {Springer},
	address = {Dordrecht},
	author = {Meheus, Joke},
	editor = {Dieks, Dennis and Gonzalez, Wenceslao J. and Hartmann, Stephan and Uebel, Thomas and Weber, Erik}
}
@article {JD:cogsci,
	title = {A Formal Logic for Abductive Reasoning},
	journal = {Logic Journal of the IGPL},
	volume = {14},
	number = {2},
	year = {2006},
	pages = {221{\textendash}236},
	abstract = {<p>This paper presents and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and the set of possible explanantia are disjoint (but not necessarily exhaustive). Where an explanandum can be explained by different explanantia, the logic allows only for the abduction of their disjunction.</p>},
	doi = {http://dx.doi.org/1854/5210},
	author = {Meheus, Joke and Batens, Diderik}
}
