Prefixed resolution a resolution method for modal and description logics - Areces, Carlos; Nivelle, Hans de 1967-; Rijke, Maarten de (Inst. for Logic, Language and Computation, 1999)
Keywords: Modale logica; Verzamelingen (wiskunde)