@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}
}
@incollection {D:faps,
	title = {A Formal Approach to Problem Solving},
	booktitle = {Computer Modeling of Scientific Reasoning},
	year = {2003},
	pages = {15{\textendash}26},
	publisher = {Universidad Nacional Del Sur. EDIUNS},
	address = {Bahia Blanca, Argentinia},
	author = {Batens, Diderik},
	editor = {Delrieux, Claudio and Legris, Javier}
}
@book {D\&CMGPJpVB,
	title = {Frontiers of Paraconsistent Logic},
	series = {Frontiers of Paraconsistent Logic},
	year = {2000},
	publisher = {Research Studies Press},
	organization = {Research Studies Press},
	address = {Baldock, UK},
	editor = {Batens, Diderik and Mortensen, Chris and Priest, Graham and Van Bendegem, Jean Paul}
}
@incollection {D:ftal,
	title = {Functioning and teachings of adaptive logics},
	booktitle = {Logic and Argumentation},
	year = {1996},
	pages = {241{\textendash}254},
	publisher = {North-Holland},
	abstract = {<p>This paper concerns some formal systems, viz. adaptive logics, that display a specific flexibility in the meanings of logical terms. Both the flexibility that occurs within the systems and the question as to how we may arrive at such systems is discussed. Both, it is argued, are relevant for bridging the gap between logic and argumentation.</p>},
	author = {Batens, Diderik},
	editor = {van Benthem, Johan and Van Eemeren, F. H. and Grootendorst, R. and Veltman, Frank}
}
