Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach.

Harsh Beohar, Sebastian Gurke, Barbara Knig, Karla Messing, Jonas Forster, Lutz Schrder, Paul Wild

Browse the full STACS paper archive.