@misc{W2610670723,
  author = {Patrick Blackburn and Maarten de Rijke and Yde Venema},
  title = {Modal logic},
  year = {2001}
}