A coalgebraic perspective on monotone modal logic

H.H. Hansen; C.A. Kupke

doi:10.1016/j.entcs.2004.02.028

A coalgebraic perspective on monotone modal logic

H.H. Hansen
, C.A. Kupke

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 7th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2004, Barcelona, Spain, March 27-29, 2004)
Editors	J. Adámek, S. Milius
Pages	121-143
DOIs	https://doi.org/10.1016/j.entcs.2004.02.028
Publication status	Published - 2004

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	106
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2004.02.028

Cite this

Hansen, H. H., & Kupke, C. A. (2004). A coalgebraic perspective on monotone modal logic. In J. Adámek, & S. Milius (Eds.), Proceedings 7th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2004, Barcelona, Spain, March 27-29, 2004) (pp. 121-143). (Electronic Notes in Theoretical Computer Science; Vol. 106). https://doi.org/10.1016/j.entcs.2004.02.028

@inproceedings{472db174127c4a48889cbf5d521c7086,

title = "A coalgebraic perspective on monotone modal logic",

author = "H.H. Hansen and C.A. Kupke",

year = "2004",

doi = "10.1016/j.entcs.2004.02.028",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "121--143",

editor = "J. Ad{\'a}mek and S. Milius",

booktitle = "Proceedings 7th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2004, Barcelona, Spain, March 27-29, 2004)",

}

A coalgebraic perspective on monotone modal logic. / Hansen, H.H.; Kupke, C.A.
Proceedings 7th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2004, Barcelona, Spain, March 27-29, 2004). ed. / J. Adámek; S. Milius. 2004. p. 121-143 (Electronic Notes in Theoretical Computer Science; Vol. 106).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A coalgebraic perspective on monotone modal logic

AU - Hansen, H.H.

AU - Kupke, C.A.

PY - 2004

Y1 - 2004

U2 - 10.1016/j.entcs.2004.02.028

DO - 10.1016/j.entcs.2004.02.028

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 121

EP - 143

BT - Proceedings 7th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2004, Barcelona, Spain, March 27-29, 2004)

A2 - Adámek, J.

A2 - Milius, S.

ER -