https://hal.inria.fr/inria-00000336 Contributor : Areces CarlosConnect in order to contact the contributor Submitted on : Friday, September 23, 2005 - 5:49:36 PM Last modification on : Friday, September 23, 2005 - 5:49:36 PM
Identifiers
HAL Id : inria-00000336, version 1
Citation
C. Areces, H. de Nivelle, M. de Rijke. Resolution in Modal, Description and Hybrid Logic. Journal of Logic and Computation, Oxford University Press (OUP), 2001, Journal of Logic and Computation, 11 (5), pp.717-736. ⟨inria-00000336⟩