Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

become an editor

report abuse/spam

help
the entire directory
only in Modal_Logic/Provability_and_Interpretability_Logics
Top
:
Science
:
Math
:
Logic and Foundations
:
Nonstandard Logics and Extensions
:
Modal Logic
:
Provability and Interpretability Logics
(9)
Cointerpretability
 Definition of the concept.
Cotolerance
 Definition of the concept of a cotolerant sequence of theories.
Giorgi Japaridze's Publications
 Full list of publications by this author, with about 30 items devoted to computability and interpretability logics. Many of the papers are downloadable.
Interpretability
 A definition of the concept.
Interpretability Logic
 Wikipedia article.
Interpretability Logic
 Open Encyclopedia article.
Provability Logic
 Wikipedia article.
Provability Logic
 Open Encyclopedia article.
Tolerance
 Definition of the concept of a tolerant sequence of theories.
"
Provability and Interpretability Logics
" search on:
AOL

Ask

Bing

Blekko

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Volunteer
to edit this category.
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: January 2, 2007 at 17:54:52 UTC 
edit