Diderik Batens

From MaRDI portal
Person:185584

Available identifiers

zbMath Open batens.diderikDBLP09/4286WikidataQ5274123 ScholiaQ5274123MaRDI QIDQ185584

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q60419102023-05-15Paper
Devising the set of abnormalities for a given defeasible rule2023-01-12Paper
Adaptive Fregean set theory2021-05-11Paper
Looting Liars Masking Models2020-08-10Paper
Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism2020-07-13Paper
Tutorial on Inconsistency-Adaptive Logics2019-10-31Paper
Some Adaptive Contributions to Logics of Formal Inconsistency2019-10-31Paper
Two, Many, and Differently Many2017-08-28Paper
Nice embedding in classical logic2016-06-28Paper
Spoiled for choice?2016-04-28Paper
https://portal.mardi4nfdi.de/entity/Q29439492015-09-07Paper
https://portal.mardi4nfdi.de/entity/Q49825102015-04-09Paper
https://portal.mardi4nfdi.de/entity/Q49259102013-06-12Paper
New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency2013-04-02Paper
https://portal.mardi4nfdi.de/entity/Q31122802012-01-13Paper
https://portal.mardi4nfdi.de/entity/Q30038242011-05-31Paper
https://portal.mardi4nfdi.de/entity/Q30866932011-03-30Paper
Logics for qualitative inductive generalization2011-03-14Paper
https://portal.mardi4nfdi.de/entity/Q51881722010-03-10Paper
Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case2009-11-30Paper
Yes fellows, most human reasoning is complex2009-06-16Paper
https://portal.mardi4nfdi.de/entity/Q35927802007-09-24Paper
https://portal.mardi4nfdi.de/entity/Q35927812007-09-24Paper
A universal logic approach to adaptive logics2007-04-10Paper
A Formal Logic for Abductive Reasoning2006-11-30Paper
The theory of the process of explanation generalized to include the inconsistent case2005-12-12Paper
https://portal.mardi4nfdi.de/entity/Q57118682005-12-08Paper
https://portal.mardi4nfdi.de/entity/Q56951742005-10-11Paper
https://portal.mardi4nfdi.de/entity/Q56951672005-10-11Paper
https://portal.mardi4nfdi.de/entity/Q46784522005-05-23Paper
A procedural criterion for final derivability in inconsistency-adaptive logics2005-05-04Paper
https://portal.mardi4nfdi.de/entity/Q48117712004-09-06Paper
https://portal.mardi4nfdi.de/entity/Q48117792004-09-06Paper
https://portal.mardi4nfdi.de/entity/Q48117682004-09-06Paper
https://portal.mardi4nfdi.de/entity/Q44246602003-09-04Paper
Towards the unification of inconsistency handling mechanisms2003-02-25Paper
https://portal.mardi4nfdi.de/entity/Q45498732002-12-03Paper
https://portal.mardi4nfdi.de/entity/Q43292822002-09-25Paper
Shortcuts and dynamic marking in the tableau method for adaptive logics2002-09-03Paper
A dynamic characterization of the pure logic of relevant implication2002-07-05Paper
https://portal.mardi4nfdi.de/entity/Q44405662002-01-01Paper
Blocks. The clue to dynamic aspects of logic2001-09-04Paper
Introductory note [Leo Apostel: 1925--1995]2001-09-04Paper
https://portal.mardi4nfdi.de/entity/Q27211922001-07-01Paper
Minimally abnormal models in some adaptive logics2001-02-22Paper
The adaptive logic of compatibility2001-02-18Paper
The Two Envelope Paradox: The Infinite Case2000-08-22Paper
https://portal.mardi4nfdi.de/entity/Q44872952000-07-27Paper
https://portal.mardi4nfdi.de/entity/Q42684081999-10-28Paper
https://portal.mardi4nfdi.de/entity/Q42500601999-06-17Paper
https://portal.mardi4nfdi.de/entity/Q48883281997-02-24Paper
https://portal.mardi4nfdi.de/entity/Q46970411993-06-29Paper
https://portal.mardi4nfdi.de/entity/Q34704541989-01-01Paper
Relevant implication and the weak deduction theorem1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37956521987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37840401986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37755241986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37243001985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32205591982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39569181982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39090311980-01-01Paper
A completeness-proof method for extensions of the implicational fragment of the propositional calculus1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47709341973-01-01Paper

Research outcomes over time

This page was built for person: Diderik Batens