An institutional approach to positive coalgebraic logic

Adriana Balan, Alexander Kurz, Jiří Velebil
2015 Journal of Logic and Computation  
doi:10.1093/logcom/exv074 fatcat:knrtahnj7jgybmxayswhkjzaw4