首页   按字顺浏览 期刊浏览 卷期浏览 « Everywhere » and « here »
« Everywhere » and « here »

 

作者: Valentin Shehtman,  

 

期刊: Journal of Applied Non-Classical Logics  (Taylor Available online 1999)
卷期: Volume 9, issue 2-3  

页码: 369-379

 

ISSN:1166-3081

 

年代: 1999

 

DOI:10.1080/11663081.1999.10510972

 

出版商: Taylor & Francis Group

 

数据来源: Taylor

 

摘要:

The paper studies propositional logics in a bimodal language, in which the first modality is interpreted as the local truth, and the second as the universal truth. The logic S4UC is introduced, which is finitely axiomatizable, has the f.m.p. and is determined by every connected separable metric space.

 

点击下载:  PDF (536KB)



返 回