Computational modal logic. Horrocks, I., Hustadt, U., Sattler, U., & Schmidt, R. A. In Blackburn, P., van Benthem, J. F. A. K., & Wolter, F., editors, Handbook of Modal Logic, volume 3, of Studies in logic and practical reasoning, pages 181–245. North-Holland, 2007.
Computational modal logic [link]Paper  doi  bibtex   
@incollection{DBLP:books/el/07/HorrocksHSS07,
  author       = {Ian Horrocks and
                  Ullrich Hustadt and
                  Ulrike Sattler and
                  Renate A. Schmidt},
  editor       = {Patrick Blackburn and
                  J. F. A. K. van Benthem and
                  Frank Wolter},
  title        = {Computational modal logic},
  booktitle    = {Handbook of Modal Logic},
  series       = {Studies in logic and practical reasoning},
  volume       = {3},
  pages        = {181--245},
  publisher    = {North-Holland},
  year         = {2007},
  url          = {https://doi.org/10.1016/s1570-2464(07)80007-3},
  doi          = {10.1016/S1570-2464(07)80007-3},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/07/HorrocksHSS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0