|
|||||
|
|
The formalization of Interpretability |
|
| Authors: | Albert Visser |
| Institution: | (1) Department of Philosophy, University of Utrecht, Heidelberglaan 2, 3584 CS Utrecht, The Netherlands |
| Abstract: | This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of I 0+ 1. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |