Provability and Interpretability Logics Modal Logic Nonstandard Logics and Extensions Logic and Foundations

Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloadable.

• Cotolerance - Definition of the concept of a cotolerant sequence provability and interpretability nonstandard logics and extensions logics of theories.
• Tolerance - Definition of the concept of a tolerant sequence nonstandard logics and extensions of theories.
• Giorgi Japaridze's Publications - Full list of publications by this author, with nonstandard logics and modal logic extensions about 30 items devoted to computability and interpretability nonstandard logics modal logic and extensions logics. Many of the papers are downloadable.
• Interpretability - A definition of the concept.
• Cointerpretability - Definition of the concept.
• Interpretability Logic - Open Encyclopedia article.
• Provability Logic - Open Encyclopedia article.

   MySQL - Cache Direct