Coalgebras, Stone Duality, Modal Logic (2006)

Cached

Download Links

by Alexander Kurz

Active Bibliography

Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
13 Ultrafilter extensions for coalgebras – C. Kupke, A. Kurz, D. Pattinson - 2005
6 Stone coalgebras – Clemens Kupke, Alexander Kurz, Yde Venema - 2003
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
4 A modal proof theory for final polynomial coalgebras. Theoret – David Friggens, Robert Goldblatt
2 Completeness of the finitary Moss logic – Clemens Kupke, Er Kurz, Yde Venema
3 Exemplaric Expressivity of Modal Logics – Bart Jacobs, Ana Sokolova - 2008
5 Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic – Alexander Kurz, Dirk Pattinson - 2007
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002
5 On specification logics for algebra-coalgebra structures: Reconciling reachability and observability – Corina Cîrstea - 2002
1 Logics Admitting Final Semantics – Alexander Kurz - 2002
Algebraic and Coalgebraic Structures (Lecture Notes for Álgebra de Processos) – Luís Soares Barbosa - 2003
7 An algebra for Kripke polynomial coalgebras – Marcello Bonsangue, Jan Rutten, Alexandra Silva - 2009
2 Relating coalgebraic notions of bisimulation with applications to name-passing process calculi (extended abstract) – Sam Staton
Expressiveness of Positive Coalgebraic Logic – Krzysztof Kapulkin, Alexander Kurz
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
14 Coalgebraic Modal Logic of Finite Rank – Alexander Kurz, Dirk Pattinson - 2002
COALA: Coalgebraic Logics and Applications – Dirk Pattinson - 2008