Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Modal Logic > Provability and Interpretability Logics
http://en.wikipedia.org/wiki/Cointerpretability
Definition of the concept.
http://www.csc.villanova.edu/~japaridz/study.html
Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloadable.
http://en.wikipedia.org/wiki/Interpretability
A definition of the concept.
http://en.wikipedia.org/wiki/Interpretability_logic
Wikipedia article.
http://open-site.org/Science/Mathematics/Logic/Proof_Theory/Interpretability_logic/
Open Encyclopedia article.
http://en.wikipedia.org/wiki/Provability_logic
Wikipedia article.
http://open-site.org/Science/Mathematics/Logic/Proof_Theory/Provability_logic/
Open Encyclopedia article.
http://en.wikipedia.org/wiki/Tolerance_(in_logic)
Definition of the concept of a tolerant sequence of theories.
Home > Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Modal Logic > Provability and Interpretability Logics
Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us