Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Yu Xue
Chen Ma
Jin Zhang
Masanori Nakahama
Home
/
Author
/
DIDERIK BATENS
Author Info
Open Visualization
Name
Affiliation
Papers
DIDERIK BATENS
Center for Logic and Computation, IST, Lisbon, Portugal
18
Collaborators
Citations
PageRank
7
148
20.23
Referers
Referees
References
76
38
60
Publications (18 rows)
Collaborators (7 rows)
Referers (76 rows)
Referees (38 rows)
Title
Citations
PageRank
Year
Spoiled for choice?
1
0.41
2016
Nice Embedding in Classical Logic
0
0.34
2016
Logics for Qualitative Inductive Generalization
3
0.48
2011
Yes fellows, most human reasoning is complex
7
0.57
2009
A Universal Logic Approach to Adaptive Logics
54
3.62
2007
A Formal Logic for Abductive Reasoning
11
0.86
2006
THE THEORY OF THE PROCESS OF EXPLANATION GENERALIZED TO INCLUDE THE INCONSISTENT CASE
1
0.47
2005
A Paraconsistent Decagon
0
0.34
2005
A procedural criterion for final derivability in inconsistency-adaptive logics
10
1.70
2005
On a Partial Decision Method for Dynamic Proofs
2
0.37
2002
Direct Dynamic Proofs for the Rescher-Manor Consequence Relations: The Flat Case
5
0.96
2002
Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics
9
1.80
2001
A dynamic characterization of the pure logic of relevant implication
5
0.82
2001
The Adaptive Logic of Compatibility.
6
1.32
2000
A Tableau Method for Inconsistency-Adaptive Logics
14
2.79
2000
Embedding and Interpolation for some Paralogics. The Propositional Case
19
2.37
1999
Relevant implication and the weak deduction theorem
1
0.69
1987
A completeness-proof method for extensions of the implicational fragment of the propositional calculus.
0
0.34
1980
1