Logique d\'Interpretability
Les logiques d'Interpretability de comportent une famille des logiques modales qui prolongent la logique de Provability de pour décrire le Interpretability et/ou les diverses propriétés et relations metamathematical relatives telles que l'interpretability faible , &Pi de ; 1-conservativity, Cointerpretability , tolérance , Cotolerance , complexités arithmétiques de .
Contribuants principaux au champ : Alessandro Berarducci, Petr Hájek, Konstantin Ignatiev, Giorgi Japaridze, Franco Montagna, Vladimir Shavrukov, Rineke Verbrugge, Albert Visser, Domenico Zambella.
| Random links: | USS Phoenix (CL-46) | Capitaine Paf | Zone franche de Shannon | William Lascelles | Diario (Aruba) | Lógica_de_Interpretability |