Search the dblp DataBase

Publications of Author

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