Concepedia

Diderik Batens

DB

Statistics

Publications

29

Citations

995

H-Index

19

Active since

1980

Affiliations

Ghent University(Current)

Ghent University Hospital

Diderik Batens is an author at Ghent University specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringComputer ScienceFormal MethodsFormal VerificationSemanticsVerificationLanguageFormal LogicSocial Sciences

Publications per year

1980–2019

29

Publications

29

A Universal Logic Approach to Adaptive Logics

Diderik Batens · Logica Universalis · 2007 · 148 citations

Applied Logic, Non-classical Logic, Computational Logic +5

Paraconsistent extensional propositional logics

Diderik Batens · Logique et analyse/Logique et analyse. Nouvelle série · 1980 · 123 citations

A General Characterization of Adaptive Logics

Diderik Batens · 2001 · 79 citations

Applied Logic, Computational Logic, Non-classical Logic +12

A Formal Logic for Abductive Reasoning

Joke Meheus, Diderik Batens · Logic Journal of IGPL · 2006 · 61 citations

Formal Logic, Abduction, Engineering +14

Against global paraconsistency

Diderik Batens · Studies in East European Thought · 1990 · 55 citations

Global Paraconsistency, Paraconsistent Logic, Automated Reasoning +4

Rows per page

1–5 of 29