top

Resolution in Modal, Description and Hybrid Logic

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

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{areces01:_resol_modal_descr_hybrid_logic,
  author = {C. Areces and H. de Nivelle and M. de Rijke},
  title = {Resolution in Modal, Description and Hybrid Logic},
  journal = {Journal of Logic and Computation},
  year = {2001},
  volume = {11},
  pages = {717--736},
  number = {5},
  note = {Special Issue on Hybrid Logics. Areces, C. and Blackburn, P. (eds.)},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33