Specifying Coalgebras with Modal Logic - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Alexander Kurz. Specifying Coalgebras with Modal Logic. Electronic Notes in Theoretical Computer Science, 11:56-70, 1998. [doi]

The following publications are possibly variants of this publication:

Specifying coalgebras with modal logicAlexander Kurz. TCS, 260(1-2):119-138, 2001. [doi]

Coalgebras and Modal Expansions of LogicsAlexander Kurz, Alessandra Palmigiano. ENTCS, 106:243-259, 2004. [doi]

Coalgebras and their logicsAlexander Kurz. sigact, 37(2):57-77, 2006. [doi]

runs on WebDSL