文章基本信息

标题：Modal Formulas True at Some Point in Every Model
本地全文：下载
作者：Lloyd Humberstone
期刊名称：Australasian Journal of Logic
印刷版ISSN：1448-5052
电子版ISSN：1448-5052
出版年度：2008
卷号：6
期号：0
出版社：Philosophy Department, University of Melbourne
摘要：In a paper on the logical work of the Jains, Graham Priest considers a consequence relation, semantically characterized, which has a natural analogue in modal logic. Here we give a syntactic/axiomatic description of the modal formulas which are consequences of the empty set by this relation, which is to say: those formulas which are, for every model, true at some point in that model.