Recent Work

some of my recent publications and other activities

Papers

Extended Abstracts

Preprints

Outreach

Community

I organize the Symposium on Proof-theoretic Semantics

Refereeing: Bulletin of the Section of Logic; Logical Methods in Computer Science; Journal of Cybersecurity; Studia Logica; Australasian Journal of Logic; Topoi; Autonomous Agents and Multi-agent Systems; Journal of the IGPL