Resolution in modal, description and hybrid logic

Authors	C.E. Areces J.M.G.G. de Nivelle M. de Rijke
Publication date	2001
Journal	Journal of Logic and Computation
Volume | Issue number	11 | 5
Pages (from-to)	717-736
Number of pages	20
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	Article
Published at	https://doi.org/10.1093/logcom/11.5.717
Permalink to this page