Coalgebraic Geometric Logic

Authors Nick Bezhanishvili, Jim de Groot , Yde Venema



PDF
Thumbnail PDF

File

LIPIcs.CALCO.2019.7.pdf
  • Filesize: 0.65 MB
  • 18 pages

Document Identifiers

Author Details

Nick Bezhanishvili
  • Institute of Logic, Language and Computation, University of Amsterdam, The Netherlands
Jim de Groot
  • Department of Engineering and Computer Science, The Australian National University, Canberra, Australia
Yde Venema
  • Institute of Logic, Language and Computation, University of Amsterdam, The Netherlands

Acknowledgements

The authors want to express their gratitude to the anonymous referees for many constructive and helpful comments.

Cite AsGet BibTex

Nick Bezhanishvili, Jim de Groot, and Yde Venema. Coalgebraic Geometric Logic. In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 139, pp. 7:1-7:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.CALCO.2019.7

Abstract

Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor T on some full subcategory of the category Top of topological spaces and continuous functions. We compare the notions of modal equivalence, behavioural equivalence and bisimulation on the resulting class of models, and we provide a final object for the corresponding category. Furthermore, we specify a method of lifting an endofunctor on Set, accompanied by a collection of predicate liftings, to an endofunctor on the category of topological spaces.

Subject Classification

ACM Subject Classification
  • Theory of computation → Modal and temporal logics
Keywords
  • Coalgebra
  • Geometric Logic
  • Modal Logic
  • Topology

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. S. Abramsky. Domain Theory and the Logic of Observable Properties. PhD thesis, University of London, 1987. Google Scholar
  2. Z. Bakhtiari and H.H. Hansen. Bisimulation for Weakly Expressive Coalgebraic Modal Logics. In 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pages 4:1-4:16, 2017. URL: https://doi.org/10.4230/LIPIcs.CALCO.2017.4.
  3. G. Bezhanishvili, N. Bezhanishvili, and J. Harding. Modal compact Hausdorff spaces. Journal of Logic and Computation, 25(1):1-35, 2015. URL: https://doi.org/10.1093/logcom/exs030.
  4. N. Bezhanishvili, J. de Groot, and Y. Venema. Coalgebraic Geometric Logic, 2019. URL: http://arxiv.org/abs/1903.08837.
  5. N. Bezhanishvili, G. Fontaine, and Y. Venema. Vietoris bisimulations. Journal of Logic and Computation, 20(5):1017-1040, 2010. Google Scholar
  6. B.F. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980. Google Scholar
  7. L.-T. Chen and A. Jung. On a Categorical Framework for Coalgebraic Modal Logic. Electronic Notes in Theoretical Computer Science, 308:109-128, 2014. Google Scholar
  8. C. Cirstea, A. Kurz, D. Pattinson, L. Schröder, and Y. Venema. Modal logics are coalgebraic. In S. Abramsky, E. Gelenbe, and V. Sassone, editors, Visions of Computer Science, BCS International Academic Research Conference (BCS 2008), pages 129-140. British Computer Society, 2008. Google Scholar
  9. S. Enqvist and S. Sourabh. Bisimulations for coalgebras on Stone spaces. Journal of Logic and Computation, 28(6):991-1010, 2018. URL: https://doi.org/10.1093/logcom/exy001.
  10. D. Gorín and L. Schröder. Simulations and Bisimulations For Coalgebraic Modal Logics. In R. Heckel and S. Milius, editors, 5th Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, pages 253-266. Springer, 2013. Google Scholar
  11. J. de Groot. Coalgebraic geometric logic. Master’s thesis, University of Amsterdam, available at https://esc.fnwi.uva.nl/thesis/centraal/files/f2119048545.pdf. Google Scholar
  12. H.H. Hansen. Monotonic modal logics, 2003. Master’s thesis, Institute for Logic, Language and Computation, University of Amsterdam. Google Scholar
  13. H.H. Hansen and C. Kupke. A coalgebraic Perspective on Monotone Modal Logic. Electronic Notes in Theoretical Computer Science, 106:121-143, 2004. Google Scholar
  14. H.H. Hansen, C. Kupke, and E. Pacuit. Neighbourhood structures: bisimilarity and basic model theory. Logical Methods in Computer Science, 5(2), April 2009. Google Scholar
  15. P.T. Johnstone. Stone Spaces. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1982. Google Scholar
  16. P.T. Johnstone. Sketches of an Elephant: A Topos Theory Compendium. Number v. 2 in Oxford Logic Guides. Clarendon Press, 2002. Google Scholar
  17. C. Kupke, A. Kurz, and D. Pattinson. Algebraic Semantics for Coalgebraic Logics. Electronic Notes in Theoretical Computer Science, 106:219-241, 2004. Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS). Google Scholar
  18. C. Kupke, A. Kurz, and D. Pattinson. Ultrafilter Extensions for Coalgebras. In J. Luiz Fiadeiro, N. Harman, M. Roggenbach, and J. Rutten, editors, Algebra and Coalgebra in Computer Science, pages 263-277, Berlin, Heidelberg, 2005. Springer Berlin Heidelberg. Google Scholar
  19. C. Kupke, A. Kurz, and Y. Venema. Stone coalgebras. Theoretical Computer Science, 327(1):109-134, 2004. Selected Papers of CMCS '03. URL: https://doi.org/10.1016/j.tcs.2004.07.023.
  20. C. Kupke and D. Pattinson. Coalgebraic semantics of modal logics: An overview. Theoretical Computer Science, 412(38):5070-5094, 2011. CMCS Tenth Anniversary Meeting. Google Scholar
  21. E. Michael. Topologies on spaces of subsets. Transactions of the American Mathematical Society, 71:152-182, 1951. Google Scholar
  22. L.S. Moss. Coalgebraic logic. Annals of Pure and Applied Logic, 96(1):277-317, 1999. URL: https://doi.org/10.1016/S0168-0072(98)00042-6.
  23. D. Pattinson. Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Theoretical Computer Science, 309(1):177-193, 2003. Google Scholar
  24. J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249((1)):3-80, 2000. Google Scholar
  25. L. Schröder. Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In V. Sassone, editor, Foundations of Software Science and Computational Structures, pages 440-454, Berlin, Heidelberg, 2005. Springer Berlin Heidelberg. Google Scholar
  26. Y. Venema. Coalgebra and Modal Logic, 2017. Course notes. ILLC, UvA. URL: https://staff.science.uva.nl/y.venema/teaching/ml/notes/cml-2017.pdf.
  27. Y. Venema, S. Vickers, and J. Vosmaer. Generalized powerlocales via relation lifting. CoRR, abs/1202.3264, 2012. Google Scholar
  28. S.J. Vickers. Topology via Logic. Cambridge University Press, New York, NY, USA, 1989. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail