Home | Science | Math | Logic and Foundations | Nonstandard Logics and Extensions | Modal Logic

http://en.wikipedia.org/wiki/Cointerpretability

Definition of the concept.

http://en.wikipedia.org/wiki/Cotolerance

Definition of the concept of a cotolerant sequence of theories.

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.

Interpretability

http://en.wikipedia.org/wiki/Interpretability

A definition of the concept.

Interpretability Logic

http://en.wikipedia.org/wiki/Interpretability_logic

Wikipedia article.

Interpretability Logic

http://open-site.org/Science/Mathematics/Logic/Proof_Theory/Interpretability_logic/

Open Encyclopedia article.

Provability Logic

http://en.wikipedia.org/wiki/Provability_logic

Wikipedia article.

Provability Logic

http://open-site.org/Science/Mathematics/Logic/Proof_Theory/Provability_logic/

Open Encyclopedia article.

Tolerance

http://en.wikipedia.org/wiki/Tolerance_(in_logic)

Definition of the concept of a tolerant sequence of theories.