HyLoRes: A Resolution Based Theorem Prover for Hybrid Logics. HyLoRes is a direct resolution prover for hybrid logics. These are modal-like logics with facilities to refer to objects in a model. The most interesting distinguishing feature of HyLoRes is that it is not based on tableau algorithms but on (direct) resolution. HyLoRes performs resolution directly on the modal (or hybrid) input, with no translation into background logics. HyLoRes fuses state-of-the-art first-order proving ideas with the simple representation of the hybrid object languag