The SCEAS System
Navigation Menu

Search the dblp DataBase


Diderik Batens: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002