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
(8)
Cointerpretability
 Definition of the concept.
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

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

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

MusicMoz

Wikipedia
Last update: May 29, 2015 at 11:54:06 UTC 
edit