 | 2009 |
|---|
| 10 |       | Diderik Batens,
Kristof de Clercq,
Peter Verdée,
Joke Meheus:
Yes fellows, most human reasoning is complex.
Synthese 166(1): 113-131 (2009) |
| 2006 |
|---|
| 9 | | Joke Meheus,
Diderik Batens:
A Formal Logic for Abductive Reasoning.
Logic Journal of the IGPL 14(2): 221-236 (2006) |
| 2005 |
|---|
| 8 | | João Marcos,
Diderik Batens,
Walter Alexandre Carnielli:
A Paraconsistent Decagon.
J. Applied Logic 3(1): 1-5 (2005) |
| 7 | | Diderik Batens:
A procedural criterion for final derivability in inconsistency-adaptive logics.
J. Applied Logic 3(1): 221-250 (2005) |
| 2002 |
|---|
| 6 | | Diderik Batens:
On a Partial Decision Method for Dynamic Proofs.
Paraconsistent Computational Logic 2002: 91-108 |
| 5 |  | Diderik Batens,
Timothy Vermeir:
Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case.
Journal of Applied Non-Classical Logics 12(1): 63-84 (2002) |
| 2001 |
|---|
| 4 | | Diderik Batens,
Joke Meheus:
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.
Studia Logica 69(2): 221-248 (2001) |
| 2000 |
|---|
| 3 | | Diderik Batens,
Joke Meheus:
A Tableau Method for Inconsistency-Adaptive Logics.
TABLEAUX 2000: 127-142 |
| 2 | | Diderik Batens,
Joke Meheus:
The Adaptive Logic of Compatibility.
Studia Logica 66(3): 327-348 (2000) |
| 1999 |
|---|
| 1 | | Diderik Batens,
Kristof de Clercq,
Natasha Kurtonina:
Embedding and Interpolation for some Paralogics. The Propositional Case.
Reports on Mathematical Logic 33: 29-44 (1999) |
