3 citations · 3 across the 4 of their papers we have counts for
7 papers
Axiomatizing logics of finite Gödel-Kripke models
Amanda Vidal, Ricardo O. Rodriguez
We investigate completeness for modal Gödel logics with respect to finite Gödel-Kripke models, along with related aspects. It is well known that the logics studied in [4, 11] fail…
On the local consequence of modal Product logic: standard completeness and decidability
Amanda Vidal
We study local consequence relations in modal extensions of product logic over Kripke models with either valued (fuzzy) or crisp accessibility relations. In both settings, we consi…
Undecidability and non-axiomatizability of modal many-valued logics
Amanda Vidal
In this work we study the decidability of a class of global modal logics arising from Kripke frames evaluated over certain residuated lattices, known in the literature as modal man…
Axiomatization of crisp Godel modal logic
Ricardo Oscar Rodriguez, Amanda Vidal Wandelmer
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…
Axiomatizing logics of fuzzy preferences using graded modalities
Amanda Vidal, Francesc Esteva, Lluis Godo
The aim of this paper is to propose a many-valued modal framework to formalize reasoning with both graded preferences and propositions, in the style of van Benthem et al.'s classic…
On Transitive modal many-valued logics
Amanda Vidal
This paper is focused on the study of modal logics defined from valued Kripke frames, and particularly, on computability and expressibility questions of modal logics of transitive…
Truth-preservation under fuzzy pp-formulas
Pilar Dellunde, Amanda Vidal
How can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a step towards this question, taking a logical model-theoretic appr…