Education
Scientific interests
- ‣ {non-classical logics}:
constructive and paraconsistent ones, etc
- ‣ {logic programming}:
stable models and well-founded semantics, etc
- ‣ {philosophical logic}:
theory of truth (according to Kripke), etc
In editorial boards of