Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

This article has been cited by the following article(s):

A coalgebraic view on positive modal logic

Alessandra Palmigiano
Theoretical Computer Science 327 (1-2) 175 (2004)
DOI: 10.1016/j.tcs.2004.07.026
See this article

Coalgebraic Semantics for Positive Modal Logic

Alessandra Palmigiano
Electronic Notes in Theoretical Computer Science 82 (1) 221 (2003)
DOI: 10.1016/S1571-0661(04)80641-8
See this article

Institutionalising Many-Sorted Coalgebraic Modal Logic

Corina Cîrstea
Electronic Notes in Theoretical Computer Science 65 (1) 54 (2002)
DOI: 10.1016/S1571-0661(04)80359-1
See this article

A Coalgebraic Perspective on Monotone Modal Logic

Helle Hvid Hansen and Clemens Kupke
Electronic Notes in Theoretical Computer Science 106 121 (2004)
DOI: 10.1016/j.entcs.2004.02.028
See this article

On Logics for Coalgebraic Simulation

Corina Cîrstea
Electronic Notes in Theoretical Computer Science 106 63 (2004)
DOI: 10.1016/j.entcs.2004.02.026
See this article

Modularity in Coalgebra

Corina Cîrstea
Electronic Notes in Theoretical Computer Science 164 (1) 3 (2006)
DOI: 10.1016/j.entcs.2006.06.002
See this article

A modular approach to defining and characterising notions of simulation

Corina Cîrstea
Information and Computation 204 (4) 469 (2006)
DOI: 10.1016/j.ic.2005.04.005
See this article

Automata and fixed point logic: A coalgebraic perspective

Yde Venema
Information and Computation 204 (4) 637 (2006)
DOI: 10.1016/j.ic.2005.06.003
See this article

Modular construction of complete coalgebraic logics

Corina Cǐrstea and Dirk Pattinson
Theoretical Computer Science 388 (1-3) 83 (2007)
DOI: 10.1016/j.tcs.2007.06.002
See this article

Modal Logics for Observation Equivalences

Jan Rothe and Dragan Mašulović
Electronic Notes in Theoretical Computer Science 82 (1) 303 (2003)
DOI: 10.1016/S1571-0661(04)80646-7
See this article

Deduction Systems for Coalgebras Over Measurable Spaces

R. Goldblatt
Journal of Logic and Computation 20 (5) 1069 (2010)
DOI: 10.1093/logcom/exn092
See this article

Well-definedness and observational equivalence for inductive–coinductive programs

Henning Basold and Helle Hvid Hansen
Journal of Logic and Computation 29 (4) 419 (2019)
DOI: 10.1093/logcom/exv091
See this article

Final coalgebras and the Hennessy–Milner property

Robert Goldblatt
Annals of Pure and Applied Logic 138 (1-3) 77 (2006)
DOI: 10.1016/j.apal.2005.06.006
See this article

Coalgebraic representations of distributive lattices with operators

M.M. Bonsangue, A. Kurz and I.M. Rewitzky
Topology and its Applications 154 (4) 778 (2007)
DOI: 10.1016/j.topol.2005.10.010
See this article

Coalgebraic modal logic: soundness, completeness and decidability of local consequence

Dirk Pattinson
Theoretical Computer Science 309 (1-3) 177 (2003)
DOI: 10.1016/S0304-3975(03)00201-9
See this article

A modal proof theory for final polynomial coalgebras

David Friggens and Robert Goldblatt
Theoretical Computer Science 360 (1-3) 1 (2006)
DOI: 10.1016/j.tcs.2005.11.041
See this article

Completeness for the coalgebraic cover modality

Clemens Kupke, Alexander Kurz, Yde Venema and Lawrence Moss
Logical Methods in Computer Science 8 (3) (2012)
DOI: 10.2168/LMCS-8(3:2)2012
See this article

Functorial Coalgebraic Logic: The Case of Many-sorted Varieties

Alexander Kurz and Daniela Petrişan
Electronic Notes in Theoretical Computer Science 203 (5) 175 (2008)
DOI: 10.1016/j.entcs.2008.05.025
See this article

Stone Coalgebras

Clemens Kupke, Alexander Kurz and Yde Venema
Electronic Notes in Theoretical Computer Science 82 (1) 170 (2003)
DOI: 10.1016/S1571-0661(04)80638-8
See this article

Handbook of Modal Logic

Yde Venema
Studies in Logic and Practical Reasoning, Handbook of Modal Logic 3 331 (2007)
DOI: 10.1016/S1570-2464(07)80009-7
See this article

Presenting functors on many-sorted varieties and applications

Alexander Kurz and Daniela Petrişan
Information and Computation 208 (12) 1421 (2010)
DOI: 10.1016/j.ic.2009.11.007
See this article

Final coalgebras for functors on measurable spaces

Lawrence S. Moss and Ignacio D. Viglizzo
Information and Computation 204 (4) 610 (2006)
DOI: 10.1016/j.ic.2005.04.006
See this article

On Expressivity and Compositionality in Logics for Coalgebras

Corina Cîrstea
Electronic Notes in Theoretical Computer Science 82 (1) 110 (2003)
DOI: 10.1016/S1571-0661(04)80635-2
See this article

A compositional approach to defining logics for coalgebras

Corina Cîrstea
Theoretical Computer Science 327 (1-2) 45 (2004)
DOI: 10.1016/j.tcs.2004.07.021
See this article

Automata and Fixed Point Logics for Coalgebras

Yde Venema
Electronic Notes in Theoretical Computer Science 106 355 (2004)
DOI: 10.1016/j.entcs.2004.02.038
See this article

An institution of modal logics for coalgebras

Corina Cıˆrstea
The Journal of Logic and Algebraic Programming 67 (1-2) 87 (2006)
DOI: 10.1016/j.jlap.2005.09.004
See this article

A coalgebraic approach to non-determinism: Applications to multilattices

I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez and M. Ojeda-Aciego
Information Sciences 180 (22) 4323 (2010)
DOI: 10.1016/j.ins.2010.07.002
See this article

Stone coalgebras

Clemens Kupke, Alexander Kurz and Yde Venema
Theoretical Computer Science 327 (1-2) 109 (2004)
DOI: 10.1016/j.tcs.2004.07.023
See this article

Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories

Lawrence S. Moss and Ignacio D. Viglizzo
Electronic Notes in Theoretical Computer Science 106 279 (2004)
DOI: 10.1016/j.entcs.2004.02.036
See this article

Algebraic–coalgebraic specification in CoCasl

Till Mossakowski, Lutz Schröder, Markus Roggenbach and Horst Reichel
The Journal of Logic and Algebraic Programming 67 (1-2) 146 (2006)
DOI: 10.1016/j.jlap.2005.09.006
See this article

Coalgebras and monads in the semantics of Java

Bart Jacobs and Erik Poll
Theoretical Computer Science 291 (3) 329 (2003)
DOI: 10.1016/S0304-3975(02)00366-3
See this article

Algebraic Semantics for Coalgebraic Logics

Clemens Kupke, Alexander Kurz and Dirk Pattinson
Electronic Notes in Theoretical Computer Science 106 219 (2004)
DOI: 10.1016/j.entcs.2004.02.037
See this article

Coalgebraic semantics of modal logics: An overview

Clemens Kupke and Dirk Pattinson
Theoretical Computer Science 412 (38) 5070 (2011)
DOI: 10.1016/j.tcs.2011.04.023
See this article

Algebra and Coalgebra in Computer Science

Alexander Kurz and Jiří Rosický
Lecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 342 (2007)
DOI: 10.1007/978-3-540-73859-6_23
See this article

Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic

Alexander Kurz and Dirk Pattinson
Electronic Notes in Theoretical Computer Science 65 (1) 135 (2002)
DOI: 10.1016/S1571-0661(04)80363-3
See this article

Dynamics, Uncertainty and Reasoning

Jie Fan
Logic in Asia: Studia Logica Library, Dynamics, Uncertainty and Reasoning 117 (2019)
DOI: 10.1007/978-981-13-7791-4_6
See this article

Rank-1 Modal Logics are Coalgebraic

L. Schroder and D. Pattinson
Journal of Logic and Computation 20 (5) 1113 (2010)
DOI: 10.1093/logcom/exn096
See this article

Foundations of Software Science and Computation Structures

Alexander Kurz
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 2303 238 (2002)
DOI: 10.1007/3-540-45931-6_17
See this article

Foundations of Software Science and Computation Structures

Corina Cîrstea
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 2303 82 (2002)
DOI: 10.1007/3-540-45931-6_7
See this article

Exemplaric Expressivity of Modal Logics

B. Jacobs and A. Sokolova
Journal of Logic and Computation 20 (5) 1041 (2010)
DOI: 10.1093/logcom/exn093
See this article

Algebra and Coalgebra in Computer Science

Corina Cîrstea and Mehrnoosh Sadrzadeh
Lecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 158 (2007)
DOI: 10.1007/978-3-540-73859-6_11
See this article

Automata, Languages and Programming

Lutz Schröder and Dirk Pattinson
Lecture Notes in Computer Science, Automata, Languages and Programming 4596 459 (2007)
DOI: 10.1007/978-3-540-73420-8_41
See this article

Foundations of Software Science and Computation Structures

Marcello M. Bonsangue and Alexander Kurz
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 3921 172 (2006)
DOI: 10.1007/11690634_12
See this article

CONCUR 2004 - Concurrency Theory

Corina Cîrstea and Dirk Pattinson
Lecture Notes in Computer Science, CONCUR 2004 - Concurrency Theory 3170 258 (2004)
DOI: 10.1007/978-3-540-28644-8_17
See this article

Recent Trends in Algebraic Development Techniques

Dirk Pattinson
Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques 2755 393 (2003)
DOI: 10.1007/978-3-540-40020-2_23
See this article

Algebra and Coalgebra in Computer Science

C. Kupke, A. Kurz and D. Pattinson
Lecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 3629 263 (2005)
DOI: 10.1007/11548133_17
See this article

Foundations of Software Science and Computational Structures

Marcello M. Bonsangue and Alexander Kurz
Lecture Notes in Computer Science, Foundations of Software Science and Computational Structures 3441 455 (2005)
DOI: 10.1007/978-3-540-31982-5_29
See this article

Bisimulation proof methods in a path-based specification language for polynomial coalgebras

XIAO-CONG ZHOU, YONG-JI LI, WEN-JUN LI, HAI-YAN QIAO and ZHONG-MEI SHU
Mathematical Structures in Computer Science 25 (4) 765 (2015)
DOI: 10.1017/S0960129513000030
See this article

Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

LUTZ SCHRÖDER and DIRK PATTINSON
Mathematical Structures in Computer Science 21 (2) 235 (2011)
DOI: 10.1017/S0960129510000563
See this article