Resolution in Modal, Description and Hybrid Logic

Areces, C., de Nivelle, H., and de Rijke, M.. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation, 11(5):717–736, 2001.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{arec:reso01,
  author = {Areces, C. and de Nivelle, H. and de Rijke, M.},
  title = {Resolution in Modal, Description and Hybrid Logic},
  journal = {Journal of Logic and Computation},
  year = {2001},
  volume = {11},
  pages = {717-736},
  number = {5},
}