Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Workshop on Coalgebraic Methods in Computer Science

CMCS 2012: Coalgebraic Methods in Computer Science pp 238–258Cite as

  1. Home
  2. Coalgebraic Methods in Computer Science
  3. Conference paper
Internal Models for Coalgebraic Modal Logics

Internal Models for Coalgebraic Modal Logics

  • Toby Wilkinson18 
  • Conference paper
  • 538 Accesses

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

Abstract

We present ongoing work into the systematic study of the use of dual adjunctions in coalgebraic modal logic. We introduce a category of internal models for a modal logic. These are constructed from syntax, and yield a generalised notion of canonical model. Further, expressivity of a modal logic is shown to be characterised by factorisation of its models via internal models and the existence of cospans of internal models.

Keywords

  • Coalgebra
  • Modal Logic
  • Dual Adjunction
  • Expressivity

Download conference paper PDF

References

  1. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories. Wiley, New York (1990)

    MATH  Google Scholar 

  2. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)

    Google Scholar 

  3. Danos, V., Desharnais, J., Laviolette, F., Panangaden, P.: Bisimulation and cocongruence for probabilistic systems. Information and Computation 204(4), 503–523 (2006)

    CrossRef  MathSciNet  MATH  Google Scholar 

  4. Doberkat, E.-E.: Stochastic Coalgebraic Logic. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  5. Hasuo, I.: Generic Forward and Backward Simulations. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 406–420. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  6. Jacobs, B., Sokolova, A.: Exemplaric Expressivity of Modal Logics. Journal of Logic and Computation 20(5), 1041–1068 (2010)

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. Kapulkin, K., Kurz, A., Velebil, J.: Expressivity of Coalgebraic Logic over Posets. CMCS 2010 Short contributions CWI Technical report SEN-1004:16–17 (2010)

    Google Scholar 

  8. Klin, B.: Coalgebraic modal logic beyond sets. Electronic Notes in Theoretical Computer Science 173, 177–201 (2007)

    CrossRef  Google Scholar 

  9. Kupke, C., Kurz, A., Pattinson, D.: Algebraic semantics for coalgebraic logics. Electronic Notes in Theoretical Computer Science 106, 219–241 (2004)

    CrossRef  MathSciNet  Google Scholar 

  10. Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theoretical Computer Science 327(1-2), 109–134 (2004)

    CrossRef  MathSciNet  MATH  Google Scholar 

  11. Kupke, C., Kurz, A., Pattinson, D.: Ultrafilter Extensions for Coalgebras. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol. 3629, pp. 263–277. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

  12. Pavlovic, D., Mislove, M., Worrell, J.B.: Testing Semantics: Connecting Processes and Process Logics. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 308–322. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  13. Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science 249(1), 3–80 (2000)

    CrossRef  MathSciNet  MATH  Google Scholar 

  14. Schröder, L., Pattinson, D.: Strong completeness of coalgebraic modal logics. Leibniz International Proceedings in Informatics 3, 673–684 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Southampton, UK

    Toby Wilkinson

Authors
  1. Toby Wilkinson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research School of Information Sciences and Engineering, The Australian National University, 0200, Canberra, ACT, Australia

    Dirk Pattinson

  2. Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg, 91058, Erlangen, Germany

    Lutz Schröder

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 IFIP International Federation for Information Processing

About this paper

Cite this paper

Wilkinson, T. (2012). Internal Models for Coalgebraic Modal Logics. In: Pattinson, D., Schröder, L. (eds) Coalgebraic Methods in Computer Science. CMCS 2012. Lecture Notes in Computer Science, vol 7399. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32784-1_13

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-32784-1_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32783-4

  • Online ISBN: 978-3-642-32784-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature