Specifying coalgebras with modal logic

Additional Metadata
THEME	Software (theme 1)
Publisher	Elsevier
Journal	Theoretical Computer Science
Note	Coden: tcscdi
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Kurz, A. (2001). Specifying coalgebras with modal logic. Theoretical Computer Science, 260(1-2), 119–138.

Additional Files
Publisher Version

Publication