Modal Formulas True at Some Point in Every Model

  • Lloyd Humberstone Monash University


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.

Author Biography

Lloyd Humberstone, Monash University
How to Cite
HUMBERSTONE, Lloyd. Modal Formulas True at Some Point in Every Model. The Australasian Journal of Logic, [S.l.], v. 6, aug. 2008. ISSN 1448-5052. Available at: <>. Date accessed: 23 may 2019. doi: