The Undecidability of Iterated Modal Relativization
Joseph S. Miller and Lawrence S. Moss
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Joseph S. Miller and Lawrence S. Moss
- 卷第79卷
- 期第3期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小3271.21KB
- 发表时间2005-04
- DOI10.2307/20016697
- 页码373-407