4 papers
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…