R. [. Bezhanishvili and . Jansana, Priestley Style Duality for Distributive Meet-semilattices, Studia Logica, vol.67, issue.1, pp.83-122, 2011.
DOI : 10.1007/s11225-011-9323-5

A. Balan, A. Kurz, and J. Velebil, Positive fragments of coalgebraic logics, Algebra and Coalgebra in Computer Science, pp.51-65, 2013.

R. [. Celani and . Jansana, A New Semantics for Positive Modal Logic, Notre Dame Journal of Formal Logic, vol.38, issue.1, pp.1-18, 1997.
DOI : 10.1305/ndjfl/1039700693
URL : http://projecteuclid.org/download/pdfview_1/euclid.ndjfl/1039700693

D. [. C??rsteac??rstea and . Pattinson, Modular construction of complete coalgebraic logics, Theoretical Computer Science, vol.388, issue.1-3, pp.83-108, 2007.
DOI : 10.1016/j.tcs.2007.06.002

F. Dahlqvist, Completeness-via-canonicity for coalgebraic logics, Ph.D. thesis , Imperial College London, DP11] F. Dahlqvist and D. Pattinson, On the fusion of coalgebraic logics, CALCO, pp.161-175, 2011.

F. Dahlqvist-[-dp15a, ]. F. Dahlqvist, and D. Pym, Completeness-via-canonicity for distributive substructural logics, a coalgebraic perspective, RAMICS, 2015. [DP15b] , Completeness-via-canonicity for distributive substructural logics, a coalgebraic perspective, 2015.

J. M. Dunn, J. Gehrke, and . Harding, Positive modal logic, Studia Logica, vol.8, issue.2, pp.301-317, 1995.
DOI : 10.1007/BF01061239

B. [. Gehrke and . Jónsson, Bounded distributive lattices with operators, Math. Japon, vol.40, issue.2, pp.207-215, 1994.

M. Gehrke, H. Nagahashi, and Y. Venema, A Sahlqvist theorem for distributive modal logic, Annals of Pure and Applied Logic, vol.131, issue.1-3, pp.65-102, 2005.
DOI : 10.1016/j.apal.2004.04.007
URL : http://doi.org/10.1016/j.apal.2004.04.007

]. R. Gol92, . Goldblatt, H. Gouveia, and . Priestley, Logics of time and computation, CSLI Lecture Notes, Center for the Study of Language and Information Canonical extensions and profinite completions of semilattices and lattices, pp.31-189, 1992.

Y. [. Hodkinson and . Venema, Canonical varieties with no canonical axiomatisation, Transactions of the American Mathematical Society, vol.357, issue.11, pp.4579-4605, 2005.
DOI : 10.1090/S0002-9947-04-03743-2

]. B. Jón94 and . Jónsson, On the canonicity of Sahlqvist identities, Studia Logica, vol.53, issue.4, pp.473-492, 1994.

A. [. Jacobs and . 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

A. [. Jónsson and . Tarski, Boolean algebras with operators. part 1., Amer, J. Math, vol.33, pp.891-937, 1951.

C. Kupke, A. Kurz, and D. Pattinson, Algebraic semantics for coalgebraic logics, CMCS, Electr. Notes in Th, Comp. Sc, vol.106, pp.219-241, 2004.

K. Kapulkin, A. Kurz, and J. Velebil, Expressiveness of positive coalgebraic logic, pp.368-385, 2012.

D. [. Kupke and . Pattinson, Coalgebraic semantics of modal logics: An overview, Theoretical Computer Science, vol.412, issue.38, pp.5070-5094, 2011.
DOI : 10.1016/j.tcs.2011.04.023

A. Kurz and J. Rosick´yrosick´y, Strongly Complete Logics for Coalgebras, Logical Methods in Computer Science, vol.8, issue.3, pp.1-32, 2012.
DOI : 10.2168/LMCS-8(3:14)2012
URL : http://arxiv.org/abs/1207.2732

W. Morton, Canonical extensions of posets, Algebra universalis, pp.72-167, 2014.

L. [. Pattinson and . Schröder, Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics, Rib52] H. Ribeiro, A remark on boolean algebras with operators, pp.66-80, 1952.
DOI : 10.1007/978-3-540-78499-9_6

D. [. Schröder and . Pattinson, Strong completeness of coalgebraic modal logics, STACS, Dagstuhl Seminar Proc, vol.09001, pp.673-684, 2009.

D. [. Schröder and . Pattinson, Rank-1 Modal Logics are Coalgebraic, Journal of Logic and Computation, vol.20, issue.5, pp.1113-1147, 2010.
DOI : 10.1093/logcom/exn096

Y. Venema and . Algebras, Handbook of Modal Logic Equational presentations of functors and monads, Math. Struct. in Comp. Sc, vol.21, issue.2, pp.363-381, 2006.