Advertisement

Toward a general frame semantics for modal many-valued logics

  • Petr Cintula
  • Paula Menchón
  • Carles Noguera
Focus

Abstract

Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all modal logics extending, respectively, K and E. Such shortcoming can be overcome by means of general frames, i.e., frames equipped with a collection of admissible sets of worlds (which is the range of possible valuations over such frame). We export this approach from the classical paradigm to modal many-valued logics by defining general \({\varvec{A}}\)-frames over a given residuated lattice \({\varvec{A}}\) (i.e., the usual frames with a collection of admissible \({\varvec{A}}\)-valued sets). We describe in detail the relation between general Kripke and neighborhood \({\varvec{A}}\)-frames and prove that, if the logic of \({\varvec{A}}\) is finitary, all extensions of the corresponding logic E of \({\varvec{A}}\) are complete w.r.t. general neighborhood frames. Our work provides a new approach to the current research trend of generalizing relational semantics for non-classical modal logics to circumvent axiomatization problems.

Keywords

Modal many-valued logics Mathematical fuzzy logic Neighborhood frames Kripke semantics General frames 

Notes

Compliance with ethical standards

Funding

The authors are supported by the bilateral travel Project CONICET-CAS 16-04 ‘First-order many-valued logics.’ Cintula and Noguera were also supported by the Grant GA17-04630S of the Czech Science Foundation. Cintula also acknowledges the support of RVO 67985807 and Menchón of CONICET under Grant PIP 112-201501-00412

Conflict of interest

The authors declare they have no conflict of interest. This article does not contain any studies with human participants or animals performed by any of the authors

References

  1. Bandler W, Kohout LJ (1978) Fuzzy relational products and fuzzy implication operators. In: International workshop of fuzzy reasoning theory and applications. Queen Mary College, University of London, LondonGoogle Scholar
  2. Běhounek L, Cintula P (2005) Fuzzy class theory. Fuzzy Sets Syst 154(1):34–55MathSciNetCrossRefzbMATHGoogle Scholar
  3. Běhounek L, Daňková M (2009) Relational compositions in fuzzy class theory. Fuzzy Sets Syst 160(8):1005–1036MathSciNetCrossRefzbMATHGoogle Scholar
  4. Bierman GM, de Paiva V (2000) On an intuitionistic modal logic. Stud Log 65(3):383–416MathSciNetCrossRefzbMATHGoogle Scholar
  5. Bílková M, Dostál M (2016) Expressivity of many-valued modal logics, coalgebraically. In: Väänänen JA, Hirvonen Å, de Queiroz RJGB (eds) Logic, language, information, and computation—23rd international workshop, WoLLIC 2016, volume 9803 of Lecture notes in computer science, pp 109–124. Springer, BerlinGoogle Scholar
  6. Bou F, Esteva F, Godo L (2008) Exploring a syntactic notion of modal many-valued logics. Mathw Soft Comput 15:175–188MathSciNetzbMATHGoogle Scholar
  7. Bou F, Esteva F, Godo L, Rodríguez RO (2011) On the minimum many-valued modal logic over a finite residuated lattice. J Log Comput 21(5):739–790MathSciNetCrossRefzbMATHGoogle Scholar
  8. Caicedo X, Rodríguez RO (2010) Standard Gödel modal logics. Stud Log 94(2):189–214CrossRefzbMATHGoogle Scholar
  9. Caicedo X, Rodríguez RO (2015) Bi-modal Gödel logic over \([0,1]\)-valued kripke frames. J Log Comput 25(1):37–55CrossRefzbMATHGoogle Scholar
  10. Caicedo X, Metcalfe G, Rodríguez RO, Rogger J (2017) Decidability of order-based modal logics. J Comput Syst Sci 88:53–74MathSciNetCrossRefzbMATHGoogle Scholar
  11. Chellas BF (1980) Modal logic: an introduction. Cambridge University Press, CambridgeCrossRefzbMATHGoogle Scholar
  12. Cintula P, Noguera C (2018) Implicational (semilinear) logics III: completeness properties. Arch Math Log 57:391–420MathSciNetCrossRefzbMATHGoogle Scholar
  13. Cintula P, Noguera C (2018) Neighborhood semantics for modal many-valued logics. Fuzzy Sets Syst 345:99–112MathSciNetCrossRefGoogle Scholar
  14. Cintula P, Fermüller C.G, Hájek, P, Noguera C (eds) (2015) Handbook of mathematical fuzzy logic (in three volumes), volume 37, 38, and 58 of studies in logic, mathematical logic and foundations. College Publications, London, vol 2011Google Scholar
  15. Fitting M (1992) Many-valued modal logics. Fundam Inf 15:235–254MathSciNetzbMATHGoogle Scholar
  16. Fitting M (1992) Many-valued modal logics II. Fundam Inf 17:55–73MathSciNetzbMATHGoogle Scholar
  17. Fuhrmann A (1990) Models for relevant modal logics. Stud Log 49(4):501–514MathSciNetCrossRefzbMATHGoogle Scholar
  18. Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, vol 151. Elsevier, AmsterdamzbMATHGoogle Scholar
  19. Hájek P (1998) Metamathematics of fuzzy logic, vol 4. Kluwer, DordrechtzbMATHGoogle Scholar
  20. Hájek P (2010) On fuzzy modal logics S5. Fuzzy Sets Syst 161(18):2389–2396MathSciNetCrossRefzbMATHGoogle Scholar
  21. Hansoul G, Teheux B (2013) Extending Łukasiewicz logics with a modality: algebraic approach to relational semantics. Stud Log 101(3):505–545CrossRefzbMATHGoogle Scholar
  22. Leuştean I, Di Nola A (2011) Łukasiewicz logic and MV-algebras. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic—studies in logic, mathematical logic and foundations, vol 38. College Publications, London, pp 469–583Google Scholar
  23. Marti M, Metcalfe G (2014) A Hennessy–Milner property for many-valued modal logics. In: Goré R, Kooi B, Kurucz A (eds) Advances in Modal Logic, Vol 10. College Publications, London, pp 407–420Google Scholar
  24. Metcalfe G, Olivetti N (2011) Towards a proof theory of Gödel modal logics. Log Methods Comput Sci 7:1–27MathSciNetCrossRefzbMATHGoogle Scholar
  25. Montague R (1970) Universal grammar. Theoria 36(3):373–398MathSciNetCrossRefzbMATHGoogle Scholar
  26. Restall G (2000) An introduction to substructural logics. Routledge, New YorkCrossRefzbMATHGoogle Scholar
  27. Rodríguez RO, Godo L (2013) Modal uncertainty logics with fuzzy neighborhood semantics. In: Godo L, Prade H, Qi G (eds) IJCAI-13 workshop on weighted logics for artificial intelligence (WL4AI-2013), pp 79–86Google Scholar
  28. Rodríguez RO, Godo L (2015) On the fuzzy modal logics of belief \({KD}45(\cal{A})\) and \({Prob}\)\(_n)\):axiomatization and neighbourhood semantics. In: Finger M, Godo L, Prade H, Qi G (eds) IJCAI-15 workshop on weighted logics for artificial intelligence (WL4AI-2015), pp 64–71Google Scholar
  29. Routley R, Meyer RK (1972) Semantics of entailment—II. J Philos Log 1(1):194–243MathSciNetCrossRefzbMATHGoogle Scholar
  30. Scott D (1970) Advice on modal logic. In: Lambert K (ed) Philosophical problems in logic. Number 29 in Synthese Library. Springer, Dordrecht, pp 143–173CrossRefGoogle Scholar
  31. Vidal A (2015) On modal expansions of t-norm based logics with rational constants. Ph.D. thesis, University of Barcelona, BarcelonaGoogle Scholar
  32. Vidal A, Esteva F, Godo L (2017) On modal extensions of product fuzzy logic. J Log Comput 27(1):299–336MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Institute of Computer ScienceCzech Academy of SciencesPragueCzech Republic
  2. 2.Universidad Nacional del Centro de la Provincia de Buenos AiresTandilArgentina
  3. 3.Institute of Information Theory and AutomationCzech Academy of SciencesPragueCzech Republic

Personalised recommendations