dblp.uni-trier.dewww.uni-trier.de

Diderik Batens

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
10EEDiderik Batens, Kristof de Clercq, Peter Verdée, Joke Meheus: Yes fellows, most human reasoning is complex. Synthese 166(1): 113-131 (2009)
2006
9EEJoke Meheus, Diderik Batens: A Formal Logic for Abductive Reasoning. Logic Journal of the IGPL 14(2): 221-236 (2006)
2005
8EEJoão Marcos, Diderik Batens, Walter Alexandre Carnielli: A Paraconsistent Decagon. J. Applied Logic 3(1): 1-5 (2005)
7EEDiderik Batens: A procedural criterion for final derivability in inconsistency-adaptive logics. J. Applied Logic 3(1): 221-250 (2005)
2002
6EEDiderik 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
1EEDiderik Batens, Kristof de Clercq, Natasha Kurtonina: Embedding and Interpolation for some Paralogics. The Propositional Case. Reports on Mathematical Logic 33: 29-44 (1999)

Coauthor Index

1Walter Alexandre Carnielli [8]
2Kristof de Clercq [1] [10]
3Natasha Kurtonina [1]
4João Marcos [8]
5Joke Meheus [2] [3] [4] [9] [10]
6Peter Verdée [10]
7Timothy Vermeir [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)