@misc{W2163751633,
  author = {M. J. Cresswell and G. E. Hughes},
  title = {An Introduction to Modal Logic},
  year = {1968}
}