@misc{W4242309855,
  author = {Brian F. Chellas},
  title = {Modal Logic},
  year = {1980},
  howpublished = {Cambridge University Press eBooks},
  doi = {https://doi.org/10.1017/cbo9780511621192}
}