Modal Formulas True at Some Point in Every Model

Authors

  • Lloyd Humberstone Monash University

DOI:

https://doi.org/10.26686/ajl.v6i0.1794

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.

Downloads

Download data is not yet available.

Author Biography

Lloyd Humberstone, Monash University

Downloads

Published

2008-08-04