by
Tadeusz Litak, Dirk Pattinson and Katsuhiko Sano
Reference:
Tadeusz Litak, Dirk Pattinson and Katsuhiko Sano: Coalgebraic Predicate Logic: Equipollence Results and Proof Theory, Chapter in Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter, eds.: Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011, Lecture Notes in Computer Science, vol. 7758, pp. 257–276, Springer Berlin Heidelberg, 2013. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-36976-6_16.
Bibtex Entry:
@incollection{LitakSP13:tbillc,
year={2013},
isbn={978-3-642-36975-9},
booktitle={Logic, Language, and Computation. Revised Selected Papers of TbiLLC 2011},
volume={7758},
series={Lecture Notes in Computer Science},
editor={Bezhanishvili, Guram and L\"{o}bner, Sebastian and Marra, Vincenzo and Richter, Frank},
doi={10.1007/978-3-642-36976-6_16},
title={Coalgebraic Predicate Logic: Equipollence Results and Proof Theory},
url={http://dx.doi.org/10.1007/978-3-642-36976-6_16},
publisher={Springer Berlin Heidelberg},
author={Litak, Tadeusz and Pattinson, Dirk and Sano, Katsuhiko},
pages={257--276},
comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-642-36976-6_16">http://dx.doi.org/10.1007/978-3-642-36976-6_16</a>.}
}