出版社：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.
