|
|
Table of Contents General Information 1 Editor’s Letter — Ross
– unknown authors
|
|
|
Coalgebras, Stone Duality, Modal Logic
– Alexander Kurz
- 2006
|
|
2
|
Functorial coalgebraic logic: The case of many-sorted varieties
– Alexander Kurz
|
|
2
|
Completeness of the finitary Moss logic
– Clemens Kupke, Er Kurz, Yde Venema
|
|
12
|
Rank-1 modal logics are coalgebraic
– Lutz Schröder, Dirk Pattinson
- 2007
|
|
23
|
A Finite Model Construction For Coalgebraic Modal Logic
– Lutz Schröder
|
|
1
|
Equational Coalgebraic Logic
– Alexander Kurz, Raul Leal
- 2009
|
|
14
|
Ultrafilter extensions for coalgebras
– C. Kupke, A. Kurz, D. Pattinson
- 2005
|
|
8
|
Coalgebraic modal logic beyond Sets
– Bartek Klin
- 2007
|
|
12
|
Generic trace semantics via coinduction
– Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- 2007
|
|
19
|
Modular construction of modal logics
– Corina Cîrstea, Dirk Pattinson
- 2004
|
|
1
|
PSPACE bounds for rank 1 modal logics
– Lutz Schr Öder, Dirk Pattinson
- 2006
|
|
23
|
PSPACE bounds for rank 1 modal logics
– Lutz Schröder, Dirk Pattinson
- 2006
|
|
10
|
Non-Deterministic Kleene Coalgebras
– Alexandra Silva, Marcello Bonsangue, Jan Rutten
|
|
6
|
Stone coalgebras
– Clemens Kupke, Alexander Kurz, Yde Venema
- 2003
|
|
|
COALA: Coalgebraic Logics and Applications
– Dirk Pattinson
- 2008
|
|
7
|
An algebra for Kripke polynomial coalgebras
– Marcello Bonsangue, Jan Rutten, Alexandra Silva
- 2009
|
|
51
|
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
– B. P. F. Jacobs, Bart Jacobs
- 2001
|
|
13
|
Modular algorithms for heterogeneous modal logics
– Lutz Schröder, Dirk Pattinson
- 2007
|
