Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kurz, Alexander
2002.
Foundations of Software Science and Computation Structures.
Vol. 2303,
Issue. ,
p.
238.
Cîrstea, Corina
2002.
Institutionalising Many-Sorted Coalgebraic Modal Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 65,
Issue. 1,
p.
54.
Kurz, Alexander
and
Pattinson, Dirk
2002.
Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 65,
Issue. 1,
p.
135.
Cîrstea, Corina
2002.
Foundations of Software Science and Computation Structures.
Vol. 2303,
Issue. ,
p.
82.
Kupke, Clemens
Kurz, Alexander
and
Venema, Yde
2003.
Stone Coalgebras.
Electronic Notes in Theoretical Computer Science,
Vol. 82,
Issue. 1,
p.
170.
Palmigiano, Alessandra
2003.
Coalgebraic Semantics for Positive Modal Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 82,
Issue. 1,
p.
221.
Rothe, Jan
and
Mašulović, Dragan
2003.
Modal Logics for Observation Equivalences.
Electronic Notes in Theoretical Computer Science,
Vol. 82,
Issue. 1,
p.
303.
Jacobs, Bart
and
Poll, Erik
2003.
Coalgebras and monads in the semantics of Java.
Theoretical Computer Science,
Vol. 291,
Issue. 3,
p.
329.
Pattinson, Dirk
2003.
Recent Trends in Algebraic Development Techniques.
Vol. 2755,
Issue. ,
p.
393.
Cîrstea, Corina
2003.
On Expressivity and Compositionality in Logics for Coalgebras.
Electronic Notes in Theoretical Computer Science,
Vol. 82,
Issue. 1,
p.
110.
Pattinson, Dirk
2003.
Coalgebraic modal logic: soundness, completeness and decidability of local consequence.
Theoretical Computer Science,
Vol. 309,
Issue. 1-3,
p.
177.
Kupke, Clemens
Kurz, Alexander
and
Venema, Yde
2004.
Stone coalgebras.
Theoretical Computer Science,
Vol. 327,
Issue. 1-2,
p.
109.
Cîrstea, Corina
2004.
On Logics for Coalgebraic Simulation.
Electronic Notes in Theoretical Computer Science,
Vol. 106,
Issue. ,
p.
63.
Pattinson, Dirk
2004.
Expressive Logics for Coalgebras via Terminal Sequence Induction.
Notre Dame Journal of Formal Logic,
Vol. 45,
Issue. 1,
Cîrstea, Corina
2004.
A compositional approach to defining logics for coalgebras.
Theoretical Computer Science,
Vol. 327,
Issue. 1-2,
p.
45.
Hansen, Helle Hvid
and
Kupke, Clemens
2004.
A Coalgebraic Perspective on Monotone Modal Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 106,
Issue. ,
p.
121.
Venema, Yde
2004.
Automata and Fixed Point Logics for Coalgebras.
Electronic Notes in Theoretical Computer Science,
Vol. 106,
Issue. ,
p.
355.
Moss, Lawrence S.
and
Viglizzo, Ignacio D.
2004.
Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories.
Electronic Notes in Theoretical Computer Science,
Vol. 106,
Issue. ,
p.
279.
Cîrstea, Corina
and
Pattinson, Dirk
2004.
CONCUR 2004 - Concurrency Theory.
Vol. 3170,
Issue. ,
p.
258.
Majkić, Zoran
2004.
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE.
Vol. 3290,
Issue. ,
p.
768.