Uniform Interpolation in Coalgebraic Modal Logic (bibtex)

by Fatemeh Seifan, Lutz Schröder and Dirk Pattinson

Reference:

Fatemeh Seifan, Lutz Schröder and Dirk Pattinson: Uniform Interpolation in Coalgebraic Modal Logic, In Proc. 7th Conference on Algebra and Coalgebra in Computer Science, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [preprint]

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{SeifanEA17,
  author = {Fatemeh Seifan and Lutz Schr{\"o}der  and Dirk Pattinson},
  title = {Uniform Interpolation in Coalgebraic Modal Logic},
  booktitle = {Proc.~7th Conference on Algebra and Coalgebra in Computer Science},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year = {2017},
  comment = {<a href="https://www8.cs.fau.de/ext/papers/pullbacks-full.pdf">[preprint]</a>},
  doi = {https://doi.org/10.4230/LIPIcs.CALCO.2017.21},
  url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.21},
}