researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Journal of Logic and Computation
Home
Index
Info
Issue
Volume
20
, Issue
5
985
--
990
Alexander Kurz
,
Alessandra Palmigiano
,
Yde Venema
.
Coalgebra and Logic: A Brief Overview
991
--
1015
Jirí Adámek
,
H. Peter Gumm
,
Vera Trnková
.
Presentation of Set Functors: A Coalgebraic Perspective
1017
--
1040
Nick Bezhanishvili
,
Gaëlle Fontaine
,
Yde Venema
.
Vietoris Bisimulations
1041
--
1068
Bart Jacobs
,
Ana Sokolova
.
Exemplaric Expressivity of Modal Logics
1069
--
1100
Robert Goldblatt
.
Deduction Systems for Coalgebras Over Measurable Spaces
1101
--
1111
Lawrence S. Moss
.
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
1113
--
1147
Lutz Schröder
,
Dirk Pattinson
.
Rank-1 Modal Logics are Coalgebraic