Algebraic-coalgebraic specification in CoCasl (2006)

by Till Mossakowski , Horst Reichel , Markus Roggenbach , Lutz Schröder
Venue:J. LOGIC ALGEBRAIC PROGRAMMING
Citations:19 - 8 self

Active Bibliography

Address for Correspondence: – Lutz Schröder, Dfki-lab Bremen, Lutz Schröder
14 Rank-1 modal logics are coalgebraic – Lutz Schröder, Dirk Pattinson - 2007
12 Type class polymorphism in an institutional framework – Lutz Schröder, Till Mossakowski, Christoph Lüth - 2005
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
Coalgebras and Their Logics 1 – Riccardo Pucella, Alexander Kurz - 2006
14 Coalgebraic Modal Logic of Finite Rank – Alexander Kurz, Dirk Pattinson - 2002
5 On specification logics for algebra-coalgebra structures: Reconciling reachability and observability – Corina Cîrstea - 2002
1 Final coalgebras and the Hennessy-Milner property – Robert Goldblatt
12 The X Window System – Pauray S. M. Tsai A, Chien-ming Chen B - 1990
Coalgebras, Stone Duality, Modal Logic – Alexander Kurz - 2006
26 PSPACE bounds for rank 1 modal logics – Lutz Schröder, Dirk Pattinson - 2006
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
1 Logics Admitting Final Semantics – Alexander Kurz - 2002
7 Observational Logic, Constructor-Based Logic, and their Duality – M. Bidoit, R. Hennicker, A. Kurz, Michel Bidoit, Rolf Hennicker, Alexander Kurz - 2002
51 Coalgebraic modal logic: Soundness, completeness and decidability of local consequence – Dirk Pattinson - 2002
5 Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic – Alexander Kurz, Dirk Pattinson - 2007
4 A modal proof theory for final polynomial coalgebras. Theoret – David Friggens, Robert Goldblatt
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
7 Modular Specification of Concurrent Systems With Observational Logic – Pedro Resende - 1999