Teaching
Talks
Research
Home





2016

Solovay’s Technique to Determine Modal Logics of Provability
Hamburg Set Theory Workshop
Hamburg, January 2016

2015

What we know but Peano Arithmetic doesn’t
Cool Logic seminar at the University of Amsterdam
Amsterdam, November 2015

Interpretability Suprema in Interpretability Logic ILM
Seminar on Modal and Algebraic Logic at the Steklov Mathematical Institute
Moscow, May 2015

2014

A Bimodal Provability Logic
Poster at ESSLLI student session (best poster award)
Tübingen, May 2014

Adding the Supremum to Interpretability Logic
PIIA seminar
University of Amsterdam, May 2014

2013

An Arithmetical Accessibility Relation
Tenth International Tbilisi Symposium on Language, Logic and Computation
Gudauri, Georgia September 2013

Adding the Supremum to Interpretability Logic
Graduate Conference PhD's in Logic
LMU Munich, April 2013

On the Possibility of Finding a Relational Semantics for the Interpretability Logic ILMS - a Negative Result
PIIA seminar
University of Amsterdam, January 2013

2011

A New Perspective on the Arithmetical Completeness of GL
Mathematical Logic in the Netherlands
University of Groningen, May 2011

A New Perspective on the Arithmetical Completeness of GL
Logic Tea seminar
University of Amsterdam, February 2011