Modular construction of complete coalgebraic logics

@article{Crstea2007ModularCO,
  title={Modular construction of complete coalgebraic logics},
  author={Corina C{\^i}rstea and Dirk Pattinson},
  journal={Theor. Comput. Sci.},
  year={2007},
  volume={388},
  pages={83-108}
}
We present a modular approach to defining logics for a wide variety of state-based systems. The systems are modelled as coalgebras, and we use modal logics to specify their observable properties. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular fashion. Moreover, we show that the logics thus obtained inherit soundness, completeness and expressiveness properties from their building blocks. We apply these techniques to derive sound… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
22 Citations
34 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 34 references

Coalgebraic logic

  • L. S. Moss
  • Annals of Pure and Applied Logic,
  • 1999
Highly Influential
7 Excerpts

A compositional approach to defining logics for coalgebras

  • C. Ĉırstea
  • Theoretical Computer Science,
  • 2004
1 Excerpt

Similar Papers

Loading similar papers…