Las lógicas de Interpretability del abarcan a familia de las lógicas modales que amplían la lógica del Provability para describir el Interpretability y/o las varias características y relaciones metamathematical relacionadas tales como interpretability débil, Π 1-conservativity, Cointerpretability, tolerancia, Cotolerance, complejidades aritméticas.
Contribuidores principales al campo: Alejandro Berarducci, Petr Hájek, Konstantin Ignatiev, Giorgi Japaridze, Franco Montagna, Vladimir Shavrukov, Rineke Verbrugge, Albert Visser, Domingo Zambella.
| Random links: | Empresas de Tolkien | Paul Soter | Unión de luchas comunistas | Compartimiento de la fusión (compartimiento de la comedia) |