On Finite-Valued Bimodal Logics with an Application to Reasoning About Preferences

  • Amanda VidalEmail author
  • Francesc Esteva
  • Lluis Godo
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 643)


In a previous paper by Bou et al., the minimal modal logic over a finite residuated lattice with a necessity operator \(\square \) was characterized under different semantics. In the general context of a residuated lattice, the residual negation \(\lnot \) is not necessarily involutive, and hence a corresponding possibility operator cannot be introduced by duality. In the first part of this paper we address the problem of extending such a minimal modal logic with a suitable possibility operator \(\Diamond \). In the second part of the paper, we introduce suitable axiomatic extensions of the resulting bimodal logic and define a logic to reason about fuzzy preferences, generalising to the many-valued case a basic preference modal logic considered by van Benthem et al.


Many-valued modal logic Necessity and possibility modal operators Finite residuated lattice Reasoning about graded preferences 



Vidal acknowledges support by the joint project Austrian Science Fund (FWF) I1897-N25 and Czech Science Foundation (GACR) 15-34650L, and by the institutional grant RVO:67985807. Esteva and Godo acknowledge support by the FEDER/MINECO project TIN2015-71799-C2-1-P.


  1. 1.
    van Benthem, J., Girard, P., Roy, O.: Everything else being equal: A modal logic for ceteris paribus preferences. J. Philos. Logic 38, 83–125 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. Appl. Non-Class. Logic 17(2), 157–182 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Bou, F., Cerami, M., Esteva, F.: Finite-valued Łukasiewicz modal logic is PSPACE-complete. In: Proceedings of IJCAI 2011, pp. 774–779 (2011)Google Scholar
  4. 4.
    Bou, F., Esteva, F., Godo, L., Rodríguez, R.: On the minimum many-valued modal logic over a finite residuated lattice. J. Logic Comput. 21(5), 739–790 (2011)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Burris, S., Sankappanavar, H.P.: A course in Universal Algebra. The Millennium (2012). update editionGoogle Scholar
  6. 6.
    Caicedo, X., Metcalfe, G., Rodriguez, R., Rogger, J.: Decidability of order-based modal logics. J. Comput. Syst. Sci. (2016, in Press)Google Scholar
  7. 7.
    Caicedo, X., Rodríguez, R.O.: Standard Gödel modal logics. Stud. Logica 94(2), 189–214 (2010)CrossRefzbMATHGoogle Scholar
  8. 8.
    Caicedo, X., Rodríguez, R.O.: Bi-modal Gödel logic over \([0,1]\)-valued kripke frames. J. Logic Comput. 25(1), 37–55 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Cintula, P., Noguera, C., Rogger, J.: From kripke to neighborhood semantics for modal fuzzy logics. In: Carvalho, J., et al. (eds.) Proceedings of IPMU 2016, Part II. CCIS 611, pp. 123–135 (2016)Google Scholar
  10. 10.
    Fan, T.F.: Fuzzy bisimulation for Gödel modal logic. IEEE Trans. Fuzzy Syst. 23(6), 2387–2396 (2015)CrossRefGoogle Scholar
  11. 11.
    Fan, T.F., Liau, C.J.: Logical characterizations of regular equivalence in weighted social networks. Artif. Intell. 214, 66–88 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Hansoul, G., Teheux, B.: Extending Łukasiewicz logics with a modality: Algebraic approach to relational semantics. Stud. Logica 101(3), 505–545 (2013)CrossRefzbMATHGoogle Scholar
  13. 13.
    Liu, F.: Reasoning About Preference Dynamics. Synthese Library, vol. 354. Springer, Heidelberg (2011)CrossRefzbMATHGoogle Scholar
  14. 14.
    Marti, M., Metcalfe, G.: A hennessy-milner property for many-valued modal logics. In: Goré, R., Kooi, B.P., Kurucz, A. (eds.) Advances in Modal Logic, Vol. 10, pp. 407–420. College Publications (2014)Google Scholar
  15. 15.
    Priest, G.: Many-valued modal logics: a simple approach. Rev. Symbolic Logic 1(2), 190–203 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Vidal, A.: On modal expansions of t-norm based logics with rational constants. Ph.D. Dissertation, University of Barcelona (2015)Google Scholar
  17. 17.
    Vidal, A., Esteva, F., Godo, L.: On modal extensions of product fuzzy logic. J. Logic Comput. 27(1), 299–336 (2017)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.Institute of Computer Science (ICS - CAS)PragueCzech Republic
  2. 2.Artificial Intelligence Research Institute (IIIA - CSIC)BellaterraSpain

Personalised recommendations