Direct resolution for modal-like logics
Carlos Areces, J.M. Heguiabehere · 2002
Abstract. In this paper we discuss the implementation of a hybrid logic theorem prover based on resolution, HyLoRes, which fuses rst-order proving techniques with modal and hybrid reasoning. The focus is on implementation details, and on how we adapted rst-order methods to the hybrid environment. 1