3 citations · 3 across the 4 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
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…
cs.LO2019
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…
math.LO2019★ 3 cited
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…