Drag to reposition

I work in philosophical logic and philosophy of language. My primary research interests are proof theory, truth and paradox, modal logic, relevant logic, and inferentialism.