Weak interpretability
article-link
What links here
Giorgi Japaridze
Interactive computation
article-link
Interpretability
article-link
Tolerant sequence
article-link
Provability logic
article-link
Interpretability logic
article-link
Game semantics
article-link
Computability logic
article-link
Shota Rustaveli Prize
article-link
List of logicians
article-link
Intuitionistic logic
article-link