Aliseda, A., Abductive reasoning: Logical investigations into discovery and explanation, vol. 330 of Synthese Library, Springer Science & Business Media, 2006.
Batens, D., Paraconsistent extensional propositional logics, Logique et Analyse 23(90–91):195–234, 1980.
Carnielli, W., Surviving abduction, Logic Journal of IGPL 14(2):237–256, 2006.
Carnielli, W., and J. Marcos, Tableau systems for logics of formal inconsistency, in Proceedings of the 2001 International Conference on Artificial Intelligence, vol. 2, 2001, pp. 848–852.
Carnielli, W., and J. Marcos, A taxonomy of c-systems, arXiv preprint math/0108036, 2001.
Carnielli, W.A., M. E. Coniglio, and J. Marcos, Logics of formal, in F. Guenthner, and D. M. Gabbay, (eds.), Handbook of Philosophical Logic, vol. 14, Springer, 2013, pp. 1–93.
Chlebowski, Sz., Canonical and Dual Erotetic Calculi for First-Order Logic, Ph.D. thesis, Adam Mickiewicz University in Poznań, 2018.
Chlebowski, Sz., and D. Leszczyńska-Jasion, Dual Erotetic Calculi and the Minimal LFI, Studia Logica 103(6):1245–1278, 2015.
Chlebowski, Sz., and D. Leszczyńska-Jasion, Erotetic calculi, duality and proof-search, tech. rep., Chair of Logic and Cognitive Science, Adam Mickiewicz University, 2015.
Coniglio, M.E., and T.G. Rodrigues, Some investigations on mbC and mCi, in C.A. Mortari, (ed.), Tópicos de lógicas não clássicas, NEL/UFSC, 2014, pp. 11–70.
Fitting, M., First-order logic and automated theorem proving, Springer Science & Business Media, 2012.
Flach, P. A., and A. C. Kakas, Abduction and Induction: Essays on their relation and integration, vol. 18 of Applied Logic Series, Springer Science & Business Media, 2013.
Gabbay, D.M., and J. Woods, The Reach of Abduction. Insight and Trial, Elsevier, 2005.
Garcez, A., D. M Gabbay, O. Ray, and J. Woods, Abductive reasoning in neural-symbolic systems, Topoi 26(1):37–49, 2007.
Hintikka, J., Inquiry as Inquiry: A Logic of Scientific Discovery, Kluwer, Dordrecht/Boston/London, 1999.
Kakas, A. C., R. A. Kowalski, and F. Toni, Abductive logic programming, Journal of logic and computation 2(6):719–770, 1992.
Komosinski, M., A. Kups, D. Leszczyńska-Jasion, and M. Urbański, Identifying efficient abductive hypotheses using multicriteria dominance relation, ACM Transactions on Computational Logic 15(4):28:1–28:20, 2014.
Leszczyńska-Jasion, D., The Method of Socratic Proofs for Normal Modal Propositional Logics, Adam Mickiewicz University Press, Poznań, 2007.
Loparic, A., Semantical study of some propositional calculi, Journal of Symbolic Logic 43:358, 1978.
Neto, A.G.S.S., and M. Finger, Effective prover for minimal inconsistency logic, in M. Bramer, (ed.), IFIP International Federation for Information Processing, Springer, 2006, pp. 465–474.
Peirce, C. S., Collected papers of charles sanders peirce, vol. 5, Harvard University Press, 1974.
Saptawijaya, A., and L. M. Pereira, Tabdual: a tabled abduction system for logic programs, FLAP 2(1):69–124, 2015.
Thagard, P., Abductive inference: From philosophical analysis to neural mechanisms, in A. Feeney, and E. Heit, (eds.), Inductive reasoning: Experimental, developmental, and computational approaches, Cambridge University Press, 2007, pp. 226–247.
Urbański, M., and A. Klawiter, Abduction: Some conceptual issues, Logic and Logical Philosophy 27(4):583–597, 2018.
Urbański, M., and A. Wiśniewski, On search for law-like statements as abductive hypotheses by socratic transformations, in C. Baskent, (ed.), Perspectives on Interrogative Models of Inquiry. Developments in Inquiry and Questions, Springer, 2016, pp. 111–127.
Wiśniewski, A., The Posing of Questions: Logical Foundations of Erotetic Inferences, Kluwer Academic Publishers, Dordrecht/Boston/London, 1995.
Wiśniewski, A., Socratic Proofs, Journal of Philosophical Logic 33(3):299–326, 2004.
Wiśniewski, A., Questions, Inferences and Scenarios, vol. 46 of Studies in Logic. Logic and Cognitive Systems, College Publications, London, 2013.
Wiśniewski, A., and V. Shangin, Socratic Proofs for Quantifiers, Journal of Philosophical Logic 35(2):147–178, 2006.