Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic (2007)

by Alexander Kurz , Dirk Pattinson
Citations:5 - 3 self