Diderik Batens

According to our database, Diderik Batens authored at least 22 papers between 1980 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Adaptive Fregean Set Theory.

Diderik Batens

Stud Logica, 2020

2016

Nice Embedding in Classical Logic.

Peter Verdée, Diderik Batens

Stud Logica, 2016

Spoiled for choice?

Diderik Batens

J. Log. Comput., 2016

2013

New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency.

Diderik Batens

Proceedings of the Paraconsistency: Logic and Applications, 2013

2011

Logics for Qualitative Inductive Generalization.

Diderik Batens

Stud Logica, 2011

2009

Yes fellows, most human reasoning is complex.

Diderik Batens, Kristof de Clercq, Peter Verdée, Joke Meheus

Synth., 2009

2007

A Universal Logic Approach to Adaptive Logics.

Diderik Batens

Logica Universalis, 2007

2006

A Formal Logic for Abductive Reasoning.

Joke Meheus, Diderik Batens

Log. J. IGPL, 2006

2005

THE THEORY OF THE PROCESS OF EXPLANATION GENERALIZED TO INCLUDE THE INCONSISTENT CASE.

Diderik Batens

Synth., 2005

A Paraconsistent Decagon.

João Marcos, Diderik Batens, Walter Alexandre Carnielli

J. Appl. Log., 2005

A procedural criterion for final derivability in inconsistency-adaptive logics.

Diderik Batens

J. Appl. Log., 2005

2004

The Need for Adaptive Logics In Epistemology.

Diderik Batens

Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

2002

Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case.

Diderik Batens, Timothy Vermeir

J. Appl. Non Class. Logics, 2002

On a Partial Decision Method for Dynamic Proofs.

Diderik Batens

Proceedings of the Paraconsistent Computational Logic, 2002

2001

Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.

Diderik Batens, Joke Meheus

Stud Logica, 2001

A Dynamic Characterization of the Pure Logic of Relevant Implication.

Diderik Batens

J. Philos. Log., 2001

2000

Minimally Abnormal Models In Some Adaptive Logics.

Diderik Batens

Synth., 2000

The Adaptive Logic of Compatibility.

Diderik Batens, Joke Meheus

Stud Logica, 2000

A Tableau Method for Inconsistency-Adaptive Logics.

Diderik Batens, Joke Meheus

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1999

Embedding and Interpolation for some Paralogics. The Propositional Case.

Diderik Batens, Kristof de Clercq, Natasha Kurtonina

Reports Math. Log., 1999

1987

Relevant implication and the weak deduction theorem.

Diderik Batens

Stud Logica, 1987

1980

A completeness-proof method for extensions of the implicational fragment of the propositional calculus.

Diderik Batens

Notre Dame J. Formal Log., 1980