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/Q56951672005-10-11Paper
https://portal.mardi4nfdi.de/entity/Q56951742005-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/Q48117682004-09-06Paper
https://portal.mardi4nfdi.de/entity/Q48117712004-09-06Paper
https://portal.mardi4nfdi.de/entity/Q48117792004-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
https://portal.mardi4nfdi.de/entity/Q27357932001-09-04Paper
https://portal.mardi4nfdi.de/entity/Q27358032001-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/Q37755241986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37840401986-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
A completeness-proof method for extensions of the implicational fragment of the propositional calculus1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39090311980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47709341973-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Diderik Batens