A Completeness Result for Quantificational Tense Logic
作者:
Robert P. McArthur,
Hugues Leblanc,
期刊:
Mathematical Logic Quarterly
(WILEY Available online 1976)
卷期:
Volume 22,
issue 1
页码: 89-96
ISSN:0942-5616
年代: 1976
DOI:10.1002/malq.19760220110
出版商: WILEY‐VCH Verlag Berlin GmbH
数据来源: WILEY
点击下载:
PDF
(529KB)
返 回