Eva Hoogland

Learn More
abstract. In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolation and interpolation for the £-modality easily follow from this result. Furthermore , these properties are extended to the system ILP. Failure of arrow interpolation for(More)
In December 2011, the European Science Foundation (ESF) brought together experts from a wide range of disciplines to discuss the issues that will influence the development of a healthier, more brain-aware European society. This perspective summarizes the main outcomes of that discussion and highlights important considerations to support improved mental(More)
  • 1