La segunda edición de las series de conferencias Teoría de Prueba y Lógica Modal se realizarán en la Ciudad de México desde el 29 de septiembre al 2 de octubre del 2014, después de la primera edición del 2012 en Barcelona.

Un acercamiento reciente de la teoría de prueba usa técnicas de lógica modal para computar la fuerza de la consistencia de teoría formal. Como resultado uno obtiene, dentro de otros beneficios, pruebas de consistencia semi-finita al espíritu del programa de Hilbert extendido.

Este acercamiento requiere técnicas de diferentes disciplinas; el propósito de este taller será juntar expertos para discutir ventajas y proyectar nuevas colaboraciones.

The second edition of the conference series Proof Theory and Modal Logic will be held in Mexico City from September 29th to October 2nd 2014, following the first installment in Barcelona in 2012.

A recent approach to proof theory uses techniques from modal logic to compute the consistency strength of formal theories. As a result one obtains, among other benefits, semi-finitary consistency proofs in the spirit of the extended Hilbert’s programme.

This approach requires techniques from many disciplines; the aim of this workshop is to bring together experts in relevant fields in order to discuss recent advances and foster new collaborations. Topics include, but are not limited to

Turing-Feferman progressions
Provability logics and algebras
Proof-theory of arithmetic and analysis
Ordinal analysis
Point-set topology
Set theory
Model theory