Directory Help Search only in Provability and Interpretability LogicsSearch the Web

Provability and Interpretability Logics

Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Modal Logic > Provability and Interpretability Logics

Go to Directory Home

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	Provability Logic - http://en.wikipedia.org/wiki/Provability_logic Wikipedia article.
	Cointerpretability - http://en.wikipedia.org/wiki/Cointerpretability Definition of the concept.
	Interpretability Logic - http://en.wikipedia.org/wiki/Interpretability_logic Wikipedia article.
	Interpretability - http://en.wikipedia.org/wiki/Interpretability A definition of the concept.
	Cotolerance - http://en.wikipedia.org/wiki/Cotolerance Definition of the concept of a cotolerant sequence of theories.

	Tolerance - http://en.wikipedia.org/wiki/Tolerance_(in_logic) Definition of the concept of a tolerant sequence of theories.
	Giorgi Japaridze's Publications - 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.
	Provability Logic - http://open-site.org/Science/Mathematics/Logic/Proof_Theory/Provability_logic/ Open Encyclopedia article.
	Interpretability Logic - http://open-site.org/Science/Mathematics/Logic/Proof_Theory/Interpretability_logic/ Open Encyclopedia article.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...