Modal Formulas True at Some Point in Every Model

  • Lloyd Humberstone Monash University

Abstract

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
Published
2008-08-04
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: <https://ojs.victoria.ac.nz/ajl/article/view/1794>. Date accessed: 15 nov. 2019. doi: https://doi.org/10.26686/ajl.v6i0.1794.