A translation from the modal logic of provability into K4
作者:
Philippe Balbiani,
Andreas Herzig,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1994)
卷期:
Volume 4,
issue 1
页码: 73-77
ISSN:1166-3081
年代: 1994
DOI:10.1080/11663081.1994.10510818
出版商: Taylor & Francis Group
数据来源: Taylor
点击下载:
PDF (197KB)
返 回