Skip to main content
SpringerLink
Log in

Expressivity of Many-Valued Modal Logics, Coalgebraically

  • Conference paper
  • First Online:
Book cover Logic, Language, Information, and Computation (WoLLIC 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9803))

Abstract

We apply methods developed to study coalgebraic logic to investigate expressivity of many-valued modal logics which we consider as coalgebraic languages interpreted over set-coalgebras with many-valued valuations. The languages are based on many-valued predicate liftings. We provide a characterization theorem for a language generated by a set of such modalities to be expressive for bisimilarity: in addition to the usual condition on the set of predicate liftings being separating, we indicate a sufficient and sometimes also necessary condition on the algebra of truth values which guarantees expressivity. Thus, adapting results of Schröder [16] concerning expressivity of boolean coalgebraic logics to many-valued setting, we generalize results of Metcalfe and Martí [13], concerning Hennessy-Milner property for many-valued modal logics based on \(\Box \) and \(\diamondsuit \).

M. Bílková—The work of the first author has been supported by the joint project of Austrian Science Fund (FWF) I1897-N25 and Czech Science Foundation (GACR) 15-34650L.

M. Dostál—The work of the second author has been supported by the project No. GA13-14654S of the Czech Science Foundation.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    We would like to stress that we do not include constants for elements of \({\mathscr {V}}\) in the language (cf. Examples 3 and 7).

  2. 2.

    This in fact says that B is a \(T\times {\mathscr {V}}^{{ At }}\)-bisimulation, where the second part of the functor encodes the valuations.

  3. 3.

    In case that \({\mathscr {V}}=2\) separability is in fact sufficient for expressivity. The reason is that the classical propositional logic is functionally complete and each boolean function \(\sigma :2^n\rightarrow 2\) is definable by a formula with n variables (cf. Definition 4).

  4. 4.

    Not to be confused with the double contravariant powerset functor whose coalgebras are neighbourhood frames.

  5. 5.

    cf. Examples 7 and 10. This does not entail expressivity.

  6. 6.

    Defined like this, using the multiplication of reals, the semantics of \(\diamondsuit \) is not expressed by a first-order formula of Łukasziewicz logic.

  7. 7.

    It is straightforward to generalize Theorem 3 to the polyadic setting, and in this particular example we will not need any expressible propositional formulas.

References

  1. Bílková, M., Dostál, M.: Many-valued relation lifting and Moss’ coalgebraic logic. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol. 8089, pp. 66–79. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  2. Bou, F., Esteva, F., Godo, L., Rodríguez, R.: On the minimum many-valued modal logic over a finite residuated lattice. J. Log. Comput. 21(5), 739–790 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  3. Dostál, M.: Many valued coalgebraic logic. Master thesis, Czech Technical University (2013)

    Google Scholar 

  4. Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, Amsterdam (2007)

    MATH  Google Scholar 

  5. Gumm, H.P., Zarrad, M.: Coalgebraic simulations and congruences. In: Bonsangue, M.M. (ed.) CMCS 2014. LNCS, vol. 8446, pp. 118–134. Springer, Heidelberg (2014)

    Google Scholar 

  6. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)

    Book  MATH  Google Scholar 

  7. Jacobs, B., Sokolova, A.: Exemplaric expressivity of modal logics. J. Log. Comput. 20, 1041–1068 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  8. Kupke, C., Kurz, A., Pattinson, D.: Algebraic semantics for coalgebraic logics. In: Coalgebraic Methods in Computer Science, ENTCS, vol. 106, pp. 219–241. Elsevier (2004)

    Google Scholar 

  9. Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theoret. Comput. Sci. 327, 109–134 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  10. Kupke, C., Kurz, A., Venema, Y.: Completeness for the coalgebraic cover modality. Log. Methods Comput. Sci. 8(3), 1–76 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  11. Kurz, A., Leal, R.: Modalities in the Stone age: a comparison of coalgebraic logics. Theoret. Comput. Sci. 430, 88–116 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  12. McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symbolic Log. 16, 1–13 (1951)

    Article  MathSciNet  MATH  Google Scholar 

  13. Metcalfe, G., Martí, M.: A Hennessy-Milner property for many-valued modal logics. Adv. Modal Log. 10, 407–420 (2014)

    MathSciNet  Google Scholar 

  14. Pattinson, D.: Expressivity results in the modal logic of coalgebras (2001)

    Google Scholar 

  15. Pattinson, D.: Expressive logics for coalgebras via terminal sequence induction. Notre Dame J. Formal Log. 45, 19–33 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  16. Schröder, L.: Expressivity of coalgebraic modal logic: the limits and beyond. Theoret. Comput. Sci. 390, 230–247 (2008)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, The Czech Academy of Sciences, Prague, Czech Republic

    Marta Bílková & Matěj Dostál

Authors
  1. Marta Bílková
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matěj Dostál
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matěj Dostál .

Editor information

Editors and Affiliations

  1. Dept of Mathematics & Statistics, Univ of Helsinki Dept of Mathematics & Statistics, Helsinki, Finland

    Jouko Väänänen

  2. Department of Mathematics and Statistics, University of Helsinki , Helsinki, Finland

    Åsa Hirvonen

  3. Centro de Informática , Recife, Pernambuco, Brazil

    Ruy de Queiroz

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bílková, M., Dostál, M. (2016). Expressivity of Many-Valued Modal Logics, Coalgebraically. In: Väänänen, J., Hirvonen, Å., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2016. Lecture Notes in Computer Science(), vol 9803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-52921-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-52921-8_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-52920-1

  • Online ISBN: 978-3-662-52921-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation