Go to the corresponding LIPIcs Volume Portal 
Seifan, Fatemeh ; SchrÃ¶der, Lutz ; Pattinson, Dirk
pdfformat: 

@InProceedings{seifan_et_al:LIPIcs:2017:8041, author = {Fatemeh Seifan and Lutz Schr{\"o}der and Dirk Pattinson}, title = {{Uniform Interpolation in Coalgebraic Modal Logic}}, booktitle = {7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)}, pages = {21:121:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770330}, ISSN = {18688969}, year = {2017}, volume = {72}, editor = {Filippo Bonchi and Barbara K{\"o}nig}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/8041}, URN = {urn:nbn:de:0030drops80415}, doi = {10.4230/LIPIcs.CALCO.2017.21}, annote = {Keywords: modal logic, coalgebraic logic, uniform interpolation, preservation of weak pullbacks} }
Keywords:  modal logic, coalgebraic logic, uniform interpolation, preservation of weak pullbacks  
Collection:  7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)  
Issue Date:  2017  
Date of publication:  17.11.2017 