Advertisement

On Possibilistic Modal Logics Defined Over MTL-Chains

  • Félix Bou
  • Francesc Esteva
  • Lluís GodoEmail author
Chapter
Part of the Outstanding Contributions to Logic book series (OCTR, volume 6)

Abstract

In this chapter we revisit a 1994 chapter by Hájek et al. where a modal logic over a finitely-valued Łukasiewicz logic is defined to capture possibilistic reasoning. In this chapter we go further in two aspects: first, we generalize the approach in the sense of considering modal logics over an arbitrary finite MTL-chain, and second, we consider a different possibilistic semantics for the necessity and possibility modal operators. The main result is a completeness proof that exploits similar techniques to the ones involved in Hájek et al.’s previous work.

Keywords

Possibitistic Logic Fuzzy Logic Many-valued Modal Logic 

Notes

Acknowledgments

The authors are deeply indebted to an anonymous reviewer for the useful comments that have helped to significantly improve the layout of this chapter. The authors also acknowledge partial support of the Spanish projects EdeTRI (TIN2012-39348-C02-01) and Agreement Technologies (CONSOLIDER CSD2007-0022, INGENIO 2010), and the grant 2009SGR-1433 from the Catalan Government. Initially they were also supported by the projects TASSAT (TIN2010-20967-C04-01) and 2009SGR-1434.

References

  1. Banerjee, M., & Dubois, D. (2009). A simple modal logic for reasoning about revealed beliefs. In C. Sossai, G. Chemello (Eds.), ECSQARU 2009, Lecture Notes in Computer Science (Vol. 5590, pp. 805–816). Berlin: Springer.Google Scholar
  2. Bou, F., Esteva, F., Godo, L., & Rodríguez, R. (2011). On the minimum many-valued modal logic over a finite residuated lattice. Journal of Logic and Computation, 21(5), 739–790.MathSciNetCrossRefzbMATHGoogle Scholar
  3. Dellunde, P., Godo, L., & Marchioni, E. (2011). Extending possibilistic logic over Gödel logic. International Journal of Approximate Reasoning, 52(1), 63–75.Google Scholar
  4. Dubois, D., Prade, H., & Schockaert, S. (2012). Stable models in generalized possibilistic logic. Proceedings of KR, 2012, 519–529.Google Scholar
  5. Dubois, D., Lang, J., & Prade, H. (1994). Possibilistic logic. In Gabbay et al. (Eds.), Handbook of logic in artificial intelligence and logic programming, non monotonic reasoning and uncertain reasoning (Vol. 3, pp. 439–513). Oxford: Oxford University Press.Google Scholar
  6. Dubois, D., & Prade, H. (1988). Possibility theory. New York: Plenum Press.Google Scholar
  7. Dubois, D., & Prade, H. (2004). Possibilistic logic: A retrospective and prospective view. Fuzzy Sets and Systems, 144, 3–23.Google Scholar
  8. Fariñas del Cerro, L., & Herzig, A. (1991). A modal analysis of possibility theory. In Ph. Jorrand, & J. Kelemen (Eds.), Fundamentals of artificial intelligence research (FAIR 91), LNCS 535 (pp. 11–18) New York: SpringerGoogle Scholar
  9. Flaminio, T., Godo, L., & Marchioni, E. (2011). On the logical formalization of possibilistic counterparts of states over \(n\)-valued Łukasiewicz events. Journal of Logic and Computation, 21(3), 429–446.MathSciNetCrossRefzbMATHGoogle Scholar
  10. Flaminio, T., Godo, L., & Marchioni, E. (2011). Reasoning about uncertainty of fuzzy events: An overview. In P. Cintula et al. (Eds.), Understanding Vagueness—logical, philosophical, and linguistic perspectives. Studies in logic (Vol. 36, pp. 367–401). London: College Publications.Google Scholar
  11. Hájek, P. (1998). Metamathematics of fuzzy logic. Trends in logic (Vol. 4). Kluwer: New York.Google Scholar
  12. Hájek, P. (2010). On fuzzy modal logics \(S5({\cal {C}})\). Fuzzy Sets and Systems, 161(18), 2389–2396.Google Scholar
  13. Hájek, P., Godo, L., & Esteva, F. (1995). Fuzzy logic and probability. In Proceedings of the eleventh annual conference on uncertainty in artificial intelligence conference (UAI’95) (pp. 237–244). San Francisco: Morgan Kaufmann.Google Scholar
  14. Hájek, P., Harmancová, D., Esteva, F., Garcia, P., & Godo, L. (1994). On modal logics for qualitative possibility in a fuzzy setting. In Proceedings of the tenth annual conference on uncertainty in artificial intelligence (UAI’94) (pp. 278–285). San Francisco: Morgan Kaufmann.Google Scholar
  15. Pietruszczak, A. (2009). Simplified Kripke style semantics for modal logics K45, KB4 and KD45. Bulletin of the Section of Logic, 38(3/4), 163–171.Google Scholar
  16. Radzikowska, A. M., & Kerre, E. E. (2005). Characterisation of main classes of fuzzy relations using fuzzy modal operators. Fuzzy Sets and Systems, 152(2), 223–247.MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Probability, Logic and StatisticsUniversity of BarcelonaBarcelonaSpain
  2. 2.Artificial Intelligence Research InstituteIIIA-CSICBellaterraSpain

Personalised recommendations