#### Filter Results:

- Full text PDF available (18)

#### Publication Year

1997

2017

- This year (2)
- Last 5 years (11)
- Last 10 years (15)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Félix Bou, Francesc Esteva, Lluis Godo, Ricardo Oscar Rodríguez
- J. Log. Comput.
- 2011

This article deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated in the residuated lattice (and so defining the minimum modal logic), the ones evaluated in the idempotent elements… (More)

- Francesc Esteva, Pere Garcia-Calvés, Lluis Godo, Ricardo Oscar Rodríguez
- Int. J. Approx. Reasoning
- 1997

One of the goals of a variety of approximate reasoning models is to cope with inference patterns more flexible than those of classical reasoning. Among them, similarity-based reasoning aims at modeling notions of resemblance or proximity among propositions and consequence relations which make sense in such a setting. One way of proceeding is to. equip the… (More)

- Eduardo L. Fermé, Ricardo Oscar Rodríguez
- Logic Journal of the IGPL
- 1998

One of the ways to model contraction functions for belief sets is epistemic entrenchment. The first step was provided by Gärdenfors in [5], who defined epistemic entrenchment and a contraction function in terms of it and related the latter with the AGM contraction function. Later Hans Rott in [16] presented an entrenchment based contraction function that… (More)

- Xavier Caicedo, Ricardo Oscar Rodríguez
- Studia Logica
- 2010

We prove strong completeness of the -version and the 3-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both in
nitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the
rst logic is reducible to the class of frames having twovalued… (More)

- Xavier Caicedo, Ricardo Oscar Rodríguez
- J. Log. Comput.
- 2015

We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel algebra [0,1] and prove strong completeness of Fischer Servi intuitionistic modal logic IK plus the prelinearity axiom with respect to this semantics. We axiomatize also the bi-modal… (More)

A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NPcompleteness for a Gödel S5 logic that coincides with the one-variable fragment of… (More)

- Madalina Croitoru, Ricardo Oscar Rodríguez
- JOWO@IJCAI
- 2015

This paper investigates the definition of belief revision operators that correspond to the inconsistency tolerant semantics in the Ontology Based Data Access (OBDA) setting. By doing this, we aim at providing a more general characterisation, as well as the construction, of the above mentioned semantics. In fact, the main result of this paper is the idea of… (More)

- Ricardo Oscar Rodríguez, Francesc Esteva, Pere Garcia-Calvés, Lluis Godo
- EUSFLAT-ESTYLF Joint Conf.
- 1999

This paper introduces a new class of fuzzy closure operators called implicative closure operators, which generalize some notions of fuzzy closure operators already introduced by different authors. We show that implicative closure operators capture some usual consequence relations used in Approximate Reasoning, like Chakraborty s graded consequence relation,… (More)

- Lluis Godo, Ricardo Oscar Rodríguez
- Annals of Mathematics and Artificial Intelligence
- 2002

We explore which kinds of nonmonotonic inference relations naturally arise when using similarity-based implication and consistency measures to rank propositions à la Gärdenfors and Makinson or to build system of spheres in the sense of Lewis. There is no surprising result, the main interest being to provide a new perspective to nonmonotonic reasoning from a… (More)

- Francesc Esteva, Lluis Godo, Ricardo Oscar Rodríguez, Thomas Vetterlein
- Fuzzy Sets and Systems
- 2012

We consider two kinds of similarity-based reasoning and formalise them in a logical setting. In one case, we are led by the principle that conclusions can be drawn even if they are only approximately correct. This leads to a graded approximate entailment, which is weaker than classical entailment. In the other case, we follow the principle that conclusions… (More)