Source author record

Ricardo Oscar Rodriguez

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO Artificial Intelligence Logic in Computer Science

Catalog footprint

Research overview

3works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Axiomatization of crisp Godel modal logic

In this paper we consider the modal logic with both Box and Diamond arising fromKripke models with a crisp accessibility and whose propositions are valued over the stan-dard Godel algebra [0,1]G. We provide an axiomatic system extending the one from [3]for models with a valued accessibility with Dunn axiom from positive modal logics, andshow it is strongly complete with respect to the intended semantics. The axiomatizationsof the most usual frame restrictions are given too. We also prove that in the studied logicit is not possible to get Box as an abbreviation of Diamond, nor vice-versa, showing that indeedthe axiomatic system we present does not coincide with any ofthe mono-modal fragmentspreviously axiomatized in the literature.

preprint2016arXiv

Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic

In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Gödel Kripke Frames $\langle W,π\rangle$ , where $W$ is a non-empty set of worlds and $π: W \longrightarrow [0, 1]$ is a normalized possibility distribution on $W$ .

preprint2011arXiv

Bi-modal Gödel logic over [0,1]-valued Kripke frames

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 analogues of $T,$ $S4,$ and $S5$ obtained by restricting to models over frames satisfying the [0,1]-valued versions of the structural properties which characterize these logics. As application of the completeness theorems we obtain a representation theorem for bi-modal Gödel algebras.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.