Diderik Batens

22 papers B 1Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2020 J jnl
Adaptive Fregean Set Theory.
Stud Logica
Diderik Batens
2016 J jnl
Nice Embedding in Classical Logic.
Stud Logica
Peter Verdée, Diderik Batens
2016 J jnl
Spoiled for choice?
J. Log. Comput.
Diderik Batens
2013 — ch.
New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency.
Paraconsistency: Logic and Applications
Diderik Batens
2011 J jnl
Logics for Qualitative Inductive Generalization.
Stud Logica
Diderik Batens
2009 J jnl
Yes fellows, most human reasoning is complex.
Synth.
Diderik Batens, Kristof de Clercq, Peter Verdée, Joke Meheus
2007 J jnl
A Universal Logic Approach to Adaptive Logics.
Logica Universalis
Diderik Batens
2006 J jnl
A Formal Logic for Abductive Reasoning.
Log. J. IGPL
Joke Meheus, Diderik Batens
2005 J jnl
A Paraconsistent Decagon.
J. Appl. Log.
João Marcos, Diderik Batens, Walter Alexandre Carnielli
2005 J jnl
A procedural criterion for final derivability in inconsistency-adaptive logics.
J. Appl. Log.
Diderik Batens
2005 J jnl
THE THEORY OF THE PROCESS OF EXPLANATION GENERALIZED TO INCLUDE THE INCONSISTENT CASE.
Synth.
Diderik Batens
2004 — ch.
The Need for Adaptive Logics In Epistemology.
Logic, Epistemology, and the Unity of Science
Diderik Batens
2002 J jnl
Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case.
J. Appl. Non Class. Logics
Diderik Batens, Timothy Vermeir
2002 — conf
On a Partial Decision Method for Dynamic Proofs.
Paraconsistent Computational Logic
Diderik Batens
2001 J jnl
A Dynamic Characterization of the Pure Logic of Relevant Implication.
J. Philos. Log.
Diderik Batens
2001 J jnl
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.
Stud Logica
Diderik Batens, Joke Meheus
2000 B conf
A Tableau Method for Inconsistency-Adaptive Logics.
TABLEAUX
Diderik Batens, Joke Meheus
2000 J jnl
Minimally Abnormal Models In Some Adaptive Logics.
Synth.
Diderik Batens
2000 J jnl
The Adaptive Logic of Compatibility.
Stud Logica
Diderik Batens, Joke Meheus
1999 J jnl
Embedding and Interpolation for some Paralogics. The Propositional Case.
Reports Math. Log.
Diderik Batens, Kristof de Clercq, Natasha Kurtonina
1987 J jnl
Relevant implication and the weak deduction theorem.
Stud Logica
Diderik Batens
1980 J jnl
A completeness-proof method for extensions of the implicational fragment of the propositional calculus.
Notre Dame J. Formal Log.
Diderik Batens