"The candidate is required to have research skills in Logic, a good
basic knowledge of the DBBL (Depth-Bounded Boolean Logics, developed
by D’Agostino and coauthors) framework and a good knowledge in the
following areas: Philosophical and Computational Foundations of
Depth-Bounded Logics; Proof Theory; Epistemic and NonMonotonic
Logics."