Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Toward a general frame semantics for modal many-valued logics

  • Focus
  • Published:
Soft Computing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

Notes

  1. It should be mentioned that there is another tradition in the study of modal extensions of non-classical logics which already have a certain ‘classical’ frame semantics (classical in the sense that both accessibility relations and valuation functions are two-valued), typical examples being the intuitionistic, relevant and other substructural logics. In this approach, modalities are modeled using additional classical accessibility relations/neighborhood functions (see e.g., Bierman and Paiva 2000; Fuhrmann 1990; Routley and Meyer 1972) or the corresponding chapter of Restall (2000)). Even though there are certain relations between both approaches stemming from algebra/frame dualities, the results of this stream of research are not directly relevant to the framework presented here.

  2. Note that \(R^\Diamond (X)\) is actually a preimage of X by R and \(R^\Box \) is the so-called BK-preimage (Bandler and Kohout 1978; Běhounek and Daňková 2009).

References

  • 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, London

  • Běhounek L, Cintula P (2005) Fuzzy class theory. Fuzzy Sets Syst 154(1):34–55

    Article  MathSciNet  MATH  Google Scholar 

  • Běhounek L, Daňková M (2009) Relational compositions in fuzzy class theory. Fuzzy Sets Syst 160(8):1005–1036

    Article  MathSciNet  MATH  Google Scholar 

  • Bierman GM, de Paiva V (2000) On an intuitionistic modal logic. Stud Log 65(3):383–416

    Article  MathSciNet  MATH  Google Scholar 

  • 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, Berlin

  • Bou F, Esteva F, Godo L (2008) Exploring a syntactic notion of modal many-valued logics. Mathw Soft Comput 15:175–188

    MathSciNet  MATH  Google Scholar 

  • 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–790

    Article  MathSciNet  MATH  Google Scholar 

  • Caicedo X, Rodríguez RO (2010) Standard Gödel modal logics. Stud Log 94(2):189–214

    Article  MATH  Google Scholar 

  • Caicedo X, Rodríguez RO (2015) Bi-modal Gödel logic over \([0,1]\)-valued kripke frames. J Log Comput 25(1):37–55

    Article  MATH  Google Scholar 

  • Caicedo X, Metcalfe G, Rodríguez RO, Rogger J (2017) Decidability of order-based modal logics. J Comput Syst Sci 88:53–74

    Article  MathSciNet  MATH  Google Scholar 

  • Chellas BF (1980) Modal logic: an introduction. Cambridge University Press, Cambridge

    Book  MATH  Google Scholar 

  • Cintula P, Noguera C (2018) Implicational (semilinear) logics III: completeness properties. Arch Math Log 57:391–420

    Article  MathSciNet  MATH  Google Scholar 

  • Cintula P, Noguera C (2018) Neighborhood semantics for modal many-valued logics. Fuzzy Sets Syst 345:99–112

    Article  MathSciNet  MATH  Google Scholar 

  • 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 2011

  • Fitting M (1992) Many-valued modal logics. Fundam Inf 15:235–254

    MathSciNet  MATH  Google Scholar 

  • Fitting M (1992) Many-valued modal logics II. Fundam Inf 17:55–73

    MathSciNet  MATH  Google Scholar 

  • Fuhrmann A (1990) Models for relevant modal logics. Stud Log 49(4):501–514

    Article  MathSciNet  MATH  Google Scholar 

  • Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics, vol 151. Elsevier, Amsterdam

    MATH  Google Scholar 

  • Hájek P (1998) Metamathematics of fuzzy logic, vol 4. Kluwer, Dordrecht

    Book  MATH  Google Scholar 

  • Hájek P (2010) On fuzzy modal logics S5. Fuzzy Sets Syst 161(18):2389–2396

    Article  MathSciNet  MATH  Google Scholar 

  • Hansoul G, Teheux B (2013) Extending Łukasiewicz logics with a modality: algebraic approach to relational semantics. Stud Log 101(3):505–545

    Article  MATH  Google Scholar 

  • 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–583

    MATH  Google Scholar 

  • 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–420

  • Metcalfe G, Olivetti N (2011) Towards a proof theory of Gödel modal logics. Log Methods Comput Sci 7:1–27

    Article  MathSciNet  MATH  Google Scholar 

  • Montague R (1970) Universal grammar. Theoria 36(3):373–398

    Article  MathSciNet  MATH  Google Scholar 

  • Restall G (2000) An introduction to substructural logics. Routledge, New York

    Book  MATH  Google Scholar 

  • 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–86

  • 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–71

  • Routley R, Meyer RK (1972) Semantics of entailment—II. J Philos Log 1(1):194–243

    Article  MathSciNet  MATH  Google Scholar 

  • Scott D (1970) Advice on modal logic. In: Lambert K (ed) Philosophical problems in logic. Number 29 in Synthese Library. Springer, Dordrecht, pp 143–173

    Chapter  Google Scholar 

  • Vidal A (2015) On modal expansions of t-norm based logics with rational constants. Ph.D. thesis, University of Barcelona, Barcelona

  • Vidal A, Esteva F, Godo L (2017) On modal extensions of product fuzzy logic. J Log Comput 27(1):299–336

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Czech Academy of Sciences, Pod Vodárenskou věží 2, 18207, Prague, Czech Republic

    Petr Cintula

  2. Universidad Nacional del Centro de la Provincia de Buenos Aires, Pinto 399, Tandil, Argentina

    Paula Menchón

  3. Institute of Information Theory and Automation, Czech Academy of Sciences, Pod vodárenskou věží 4, 18208, Prague, Czech Republic

    Carles Noguera

Authors
  1. Petr Cintula
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paula Menchón
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carles Noguera
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Carles Noguera.

Ethics declarations

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

Additional information

Communicated by Luca Spada.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This paper is dedicated to Lluís Godo in the occasion of his 60th birthday.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cintula, P., Menchón, P. & Noguera, C. Toward a general frame semantics for modal many-valued logics. Soft Comput 23, 2233–2241 (2019). https://doi.org/10.1007/s00500-018-3369-5

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-018-3369-5

Keywords

Search

Navigation