Skip to main content
SpringerLink
Log in

Layered Logics, Coalgebraically

  • Conference paper
  • First Online:
Dynamic Logic. New Trends and Applications (DALI 2017)

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

Included in the following conference series:

  • 444 Accesses

Abstract

This note revisits layered logics from a coalgebraic point of view, and proposes a naturality condition to express the typical hierarchical requirement under which all abstract transitions should be traceable in more specialised layers.

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

References

  1. Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic J. IGPL 8(3), 339–365 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  2. Brauner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series. Springer, Dordrecht (2010). https://doi.org/10.1007/978-94-007-0002-4

    MATH  Google Scholar 

  3. Cîrstea, C., Kurz, A., Pattinson, D., Schröder, L., Venema, Y.: Modal logics are coalgebraic. Comput. J. 54(1), 31–41 (2011)

    Article  Google Scholar 

  4. Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  5. Kupke, C., Pattinson, D.: Coalgebraic semantics of modal logics: an overview. Theor. Comput. Sci. 412(38), 5070–5094 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  6. Kurz, A., Leal, R.L.: Modalities in the stone age: a comparison of coalgebraic logics. Theor. Comput. Sci. 430, 88–116 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  7. Madeira, A., Martins, M.A., Barbosa, L.S.: A logic for \(n\)-dimensional hierarchical refinement. In: Derrick, J., Boiten, E.A., Reeves, S. (eds.) Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015, EPTCS, vol. 209, pp. 40–56 (2016)

    Google Scholar 

  8. Madeira, A., Martins, M.A., Barbosa, L.S., Hennicker, R.: Refinement in hybridised institutions. Formal Aspects Comput. 27(2), 1–21 (2014)

    MathSciNet  MATH  Google Scholar 

  9. Myers, R., Pattinson, D., Schröder, L.: Coalgebraic hybrid logic. In: de Alfaro, L. (ed.) FoSSaCS 2009. LNCS, vol. 5504, pp. 137–151. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-00596-1_11

    Chapter  Google Scholar 

  10. Neves, R., Barbosa, L.S., Hofmann, D., Martins, M.A.: Continuity as a computational effect. J. Log. Algebr. Meth. Program. 85(5), 1057–1085 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  11. Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comput. Sci 249(1), 3–80 (2000). Revised version of CWI Technical report CS-R9652 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  12. Schröder, L., Pattinson, D.: Named models in coalgebraic hybrid logic. In: Marion, J.-Y., Schwentick, T. (eds.) 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, Leibniz International Proceedings in Informatics, vol. 5, pp. 645–656. Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl (2010)

    Google Scholar 

Download references

Acknowledgments

This work is financed by the ERDF - European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation through (a) COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, project POCI-01-0145-FEDER-016826, and (b) Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, within project NORTE-01-0145-FEDER-000037.

Author information

Authors and Affiliations

  1. UNU-EGOV, United Nations University, Campus de Couros, Guimarães, Portugal

    Luís Soares Barbosa

Authors
  1. Luís Soares Barbosa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Luís Soares Barbosa .

Editor information

Editors and Affiliations

  1. INESC TEC, University of Minho, Braga, Portugal

    Alexandre Madeira

  2. UFRJ, Rio de Janeiro, Brazil

    Mário Benevides

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Barbosa, L.S. (2018). Layered Logics, Coalgebraically. In: Madeira, A., Benevides, M. (eds) Dynamic Logic. New Trends and Applications. DALI 2017. Lecture Notes in Computer Science(), vol 10669. Springer, Cham. https://doi.org/10.1007/978-3-319-73579-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-73579-5_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-73578-8

  • Online ISBN: 978-3-319-73579-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation