On the Fusion of Coalgebraic Logics

@inproceedings{Dahlqvist2011OnTF,
  title={On the Fusion of Coalgebraic Logics},
  author={Fredrik Dahlqvist and Dirk Pattinson},
  booktitle={CALCO},
  year={2011}
}
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to transfer from the component logics to their fusion. In this paper we investigate to what extent these results can be generalised to the case of arbitrary coalgebraic logics. Our main result generalises a construction of Kracht and Wolter and confirms that completeness transfers to fusion for a large class of logics over… CONTINUE READING

From This Paper

Topics from this paper.
5 Citations
19 References
Similar Papers

References

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

Many-Dimensional Modal Logics: Theory and Applications

  • D. M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev
  • Elsevier,
  • 2003
Highly Influential
4 Excerpts

Modular proof systems for coalgebraic logics

  • C. Cirstea, D. Pattinson
  • Theoret. Comput. Sci., 388:83–108,
  • 2007
1 Excerpt

Finger . How not to combine modal logics

  • B. Prasad
  • 2005

Similar Papers

Loading similar papers…