« 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)
返 回