@misc{W1596067335,
  author = {Brian F. Chellas},
  title = {Modal Logic: An Introduction},
  year = {1980}
}