@misc{W4211144022,
  author = {Patrick Blackburn and Maarten de Rijke and Yde Venema},
  title = {Modal Logic},
  year = {2001},
  howpublished = {Cambridge University Press eBooks},
  doi = {https://doi.org/10.1017/cbo9781107050884}
}