Journal: Journal of Logic and Computation

Volume 20, Issue 5

985 -- 990Alexander Kurz, Alessandra Palmigiano, Yde Venema. Coalgebra and Logic: A Brief Overview
991 -- 1015Jirí Adámek, H. Peter Gumm, Vera Trnková. Presentation of Set Functors: A Coalgebraic Perspective
1017 -- 1040Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema. Vietoris Bisimulations
1041 -- 1068Bart Jacobs, Ana Sokolova. Exemplaric Expressivity of Modal Logics
1069 -- 1100Robert Goldblatt. Deduction Systems for Coalgebras Over Measurable Spaces
1101 -- 1111Lawrence S. Moss. A Note on Expressive Coalgebraic Logics for Finitary Set Functors
1113 -- 1147Lutz Schröder, Dirk Pattinson. Rank-1 Modal Logics are Coalgebraic