Uniform Interpolation in Coalgebraic Modal Logic

Seifan F, Schröder L, Pattinson D (2017)

Publication Type: Conference contribution

Publication year: 2017

Pages Range: 21:1--21:16

Conference Proceedings Title: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia

DOI: 10.4230/LIPIcs.CALCO.2017.21

Open Access Link: https://doi.org/10.4230/LIPIcs.CALCO.2017.21

Authors with CRIS profile

Fatemeh Seifan Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (GenMod) May 1, 2008 - Sept. 30, 2016

Involved external institutions

Australian National University (ANU) AU Australia (AU)

How to cite

APA:

Seifan, F., Schröder, L., & Pattinson, D. (2017). Uniform Interpolation in Coalgebraic Modal Logic. In 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia (pp. 21:1--21:16).

MLA:

Seifan, Fatemeh, Lutz Schröder, and Dirk Pattinson. "Uniform Interpolation in Coalgebraic Modal Logic." Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia 2017. 21:1--21:16.

BibTeX: Download