J. Adámek, A Logic of Coequations, 2005.
DOI : 10.1007/11538363_7

J. Adámek, Birkhoff's covariety theorem without limitation, Commentationes Mathematicae Universitatis Carolinae, vol.46, issue.2, pp.197-215

J. Adámek, S. Milius, R. S. Myers, and H. Urbat, Generalized Eilenberg Theorem I: Local Varieties of Languages, FoSSaCS, vol.2014, pp.366-380
DOI : 10.1007/978-3-642-54830-7_24

J. Adámek, S. Milius, R. S. Myers, and H. Urbat, Varieties of Languages in a Category, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
DOI : 10.1109/LICS.2015.46

S. Awodey and J. Hughes, Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott., Mathematical Structures in Computer Science, vol.13, issue.2, pp.233-258, 2003.
DOI : 10.1017/S0960129502003894

S. Awodey, Category theory, 2006.
DOI : 10.1093/acprof:oso/9780198568612.001.0001

A. Ballester-bolinches, E. Cosme-llópez, and J. J. Rutten, The dual equivalence of equations and coequations for automata, Information and Computation, vol.244, pp.49-75, 2015.
DOI : 10.1016/j.ic.2015.08.001

M. Bonsangue and A. Kurz, Duality for Logics of Transition Systems, Proc. FoSSaCS 2005, Springer LNCS 3441, pp.455-469
DOI : 10.1007/978-3-540-31982-5_29

R. Clouston and R. Goldblatt, Covarieties of Coalgebras: Comonads and Coequations, Proc. ICTAC 2005, Springer LNCS 3722, pp.288-302
DOI : 10.1007/11560647_19

M. Gehrke, S. Grigorieff, and J. Pin, Duality and Equational Theory of Regular Languages, Proc. ICALP 2008, pp.246-257, 2008.
DOI : 10.1007/978-3-540-70583-3_21
URL : https://hal.archives-ouvertes.fr/hal-00340803

H. P. Gumm, Birkhoff's variety theorem for coalgebras, Contributions to General Algebra, vol.13, pp.159-173, 2000.

H. P. Gumm and T. Schröder, Covarieties and complete covarieties, ENTCS, vol.11, pp.42-55, 1998.
DOI : 10.1016/s1571-0661(04)00052-0
URL : http://doi.org/10.1016/s1571-0661(04)00052-0

C. Hermida and B. Jacobs, Structural Induction and Coinduction in a Fibrational Setting, Information and Computation, vol.145, issue.2, pp.107-152, 1998.
DOI : 10.1006/inco.1998.2725
URL : http://doi.org/10.1006/inco.1998.2725

B. Jacobs, A. Silva, and A. Sokolova, Trace semantics via determinization, Journal of Computer and System Sciences, vol.81, issue.5, pp.859-879, 2015.
DOI : 10.1016/j.jcss.2014.12.005
URL : http://repository.ubn.ru.nl/bitstream/2066/103855/1/103855.pdf

B. Jacobs and A. Sokolova, Exemplaric Expressivity of Modal Logics, Journal of Logic and Computation, vol.20, issue.5, pp.1041-1068, 2010.
DOI : 10.1093/logcom/exn093
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.5688

B. Klin, Coalgebraic Modal Logic Beyond Sets, Electronic Notes in Theoretical Computer Science, vol.173, pp.177-201, 2007.
DOI : 10.1016/j.entcs.2007.02.034
URL : http://doi.org/10.1016/j.entcs.2007.02.034

B. Klin and J. Rot, Coalgebraic Trace Semantics via Forgetful Logics, Proc. FoSSaCS 2015. Springer LNCS 9034, pp.151-166
DOI : 10.1007/978-3-662-46678-0_10
URL : http://arxiv.org/abs/1611.05183

A. Kurz, Logics for coalgebras and applications to computer science. Doctoral Thesis, Ludwigs-Maximilians, 2000.

A. Kurz and J. Rosick´yrosick´y, Operations and equations for coalgebras, Mathematical Structures in Computer Science, vol.15, issue.1, pp.149-166, 2005.
DOI : 10.1017/S0960129504004402

D. Pavlovic, M. Mislove, and J. Worrell, Testing Semantics: Connecting Processes and Process Logics, AMAST, pp.308-322, 2006.
DOI : 10.1007/11784180_24

G. Ro¸suro¸su, Equational axiomatizability for coalgebra, Theoretical Computer Science, vol.260, issue.1-2, pp.229-247, 2001.
DOI : 10.1016/S0304-3975(00)00129-8

J. Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000.
DOI : 10.1016/S0304-3975(00)00056-6

D. Schwencke, Coequational logic for accessible functors Information and Computation, pp.1469-1489, 2010.
DOI : 10.1016/j.ic.2009.10.010
URL : http://doi.org/10.1016/j.ic.2009.10.010

J. Salamanca, A. Ballester-bolinches, M. M. Bonsangue, E. Cosme-llópez, and J. J. Rutten, Regular Varieties of Automata and Coequations, Proc. MPC 2015. Springer LNCS 9129, pp.224-237
DOI : 10.1007/978-3-319-19797-5_11
URL : http://hdl.handle.net/10550/49060

J. Salamanca, M. M. Bonsangue, and J. J. Rutten, Equations and Coequations for Weighted Automata, Proc. MFCS 2015. Springer LNCS 9234, pp.444-456
DOI : 10.1007/978-3-662-48057-1_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.7898