If you made any changes in Pure these will be visible here soon.

Personal profile

Description of research and teaching

philosophical logic, proof theory, inferentialism, modal logic, non-classical logics, conditionals and counterfactuals, formal epistemology

Fields of Science

  • 611 Philosophy
  • Philosophical Logic
  • Modal Logic
  • Non-classical Logic
  • Proof Theory
  • Constructivism
  • Formal Epistemology

International and National Collaboration

Publications and projects within past five years.
If you made any changes in Pure these will be visible here soon.