Title A Connection between Similarity Logic Programming and Gödel Modal Logic Publication Type Conference Paper Year of Publication 2005 Authors Blandi L, Godo L, Rodriguez ROscar Editor Sobrevilla P, Montseny E Conference Name Joint 4th EUSFLAT & 11th LFA Conference 7-9 September, 2005 - Barcelona, Spain Pagination 775 - 780 Abstract In this paper we relate two logical similarity-based approaches to approximate reasoning. One approach extends the framework of (propositional) classical logic programming by introducing a similarity relation in the alphabet of the language that allows for an extended unification procedure. The second approach is a many-valued modal logic approach where $\Diamond p$ is understood as {\em approximately p}. Here, the similarity relations are introduced at the level of the Kripke models where possible worlds can be similar to some extent. We show that the former approach can be expressed inside the latter.