A coalgebraic view of characteristic formulas in equational modal fixed point logic

Sebastian Enqvist; Joshua Sack

A coalgebraic view of characteristic formulas in equational modal fixed point logic

Sebastian Enqvist, Joshua Sack

Theoretical Philosophy

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

Original language	English
Title of host publication	Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS)
Editors	Marcello Bonsangue
Publisher	Springer
Volume	LNCS 8446
Publication status	Published - 2014

Publication series

Name
Volume	LNCS 8446
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Subject classification (UKÄ)

Philosophy

Cite this

Enqvist, S., & Sack, J. (2014). A coalgebraic view of characteristic formulas in equational modal fixed point logic. In M. Bonsangue (Ed.), Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS) (Vol. LNCS 8446). Springer.

Enqvist, Sebastian ; Sack, Joshua. / A coalgebraic view of characteristic formulas in equational modal fixed point logic. Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS). editor / Marcello Bonsangue. Vol. LNCS 8446 Springer, 2014.

@inproceedings{91a57f2d406f4f8d8c7f1c3404b66b06,

title = "A coalgebraic view of characteristic formulas in equational modal fixed point logic",

author = "Sebastian Enqvist and Joshua Sack",

year = "2014",

language = "English",

volume = "LNCS 8446",

publisher = "Springer",

editor = "Marcello Bonsangue",

booktitle = "Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS)",

address = "Germany",

}

Enqvist, S & Sack, J 2014, A coalgebraic view of characteristic formulas in equational modal fixed point logic. in M Bonsangue (ed.), Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS). vol. LNCS 8446, Springer.

A coalgebraic view of characteristic formulas in equational modal fixed point logic. / Enqvist, Sebastian; Sack, Joshua.
Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS). ed. / Marcello Bonsangue. Vol. LNCS 8446 Springer, 2014.

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

TY - GEN

T1 - A coalgebraic view of characteristic formulas in equational modal fixed point logic

AU - Enqvist, Sebastian

AU - Sack, Joshua

PY - 2014

Y1 - 2014

M3 - Paper in conference proceeding

VL - LNCS 8446

BT - Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS)

A2 - Bonsangue, Marcello

PB - Springer

ER -

Enqvist S, Sack J. A coalgebraic view of characteristic formulas in equational modal fixed point logic. In Bonsangue M, editor, Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS). Vol. LNCS 8446. Springer. 2014