Interpretability Logic
Edit Page
Report
Scan day: 05 March 2014 UTC
7
Virus safety - good
Description: Open Encyclopedia article.
Interpretability Logic - Historical notes | Open-Site.org Being inspired by the success achieved in provability logic, the study of interpretability logics began at the late 1980s Main contributors to the field: Alessandro Berarducci, Konstantin Ignatiev, Giorgi Japaridze, Vladimir Shavrukov, Rineke Verbrugge, Albert Visser, Domenico Zambella.
Size: 345 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Interpretability Logic - Historical notes | Open-Site.org |
| Keywords: | encyclopedia,free encyclopedia,oep,open site,open encyclopedia,peer reviewed,free information |
| Description: | |
| IP-address: | 54.235.125.249 |