F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. , The Description Logic Handbook, 2003.
DOI : 10.1017/CBO9780511711787

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, 2001.
DOI : 10.1017/CBO9781107050884

URL : https://hal.archives-ouvertes.fr/inria-00100502

J. Burgess, Quick completeness proofs for some logics of conditionals., Notre Dame Journal of Formal Logic, vol.22, issue.1, pp.76-84, 1981.
DOI : 10.1305/ndjfl/1093883341

B. Chellas, Modal Logic, 1980.
DOI : 10.1017/CBO9780511621192

G. D. Agostino and A. Visser, Finality regained: A coalgebraic study of Scott-sets and multisets, Archive for Mathematical Logic, vol.41, issue.3, pp.267-298, 2002.
DOI : 10.1007/s001530100110

F. Caro, Graded modalities II. Stud, Log, vol.47, pp.1-10, 1988.

M. Fattorosi-barnaba and C. Cerrato, Graded modalities. III (the completeness and compactness of S40), Studia Logica, vol.44, issue.2, pp.99-110, 1988.
DOI : 10.1007/BF00370285

K. Fine, In so many possible worlds., Notre Dame Journal of Formal Logic, vol.13, issue.4, pp.516-520, 1972.
DOI : 10.1305/ndjfl/1093890715

N. Friedman and J. Y. Halpern, Plausibility measures and default reasoning, Journal of the ACM, vol.48, issue.4, pp.648-685, 2001.
DOI : 10.1145/502090.502092

URL : http://arxiv.org/abs/cs/9808007

I. Horrocks, U. Sattler, and S. Tobies, Practical Reasoning for Expressive Description Logics, Logic for Programming and Automated Reasoning, LPAR 99, pp.161-180, 1999.
DOI : 10.1007/3-540-48242-3_11

URL : http://arxiv.org/abs/cs/0005014

Y. Kazakov, U. Sattler, and E. Zolin, How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited, Logic for Programming, pp.303-317, 2007.
DOI : 10.1007/978-3-540-75560-9_23

A. Kurz and D. Pattinson, Coalgebraic modal logic of finite rank, Mathematical Structures in Computer Science, vol.15, issue.3, pp.453-473, 2005.
DOI : 10.1017/S0960129505004755

A. Kurz and J. Rosick´yrosick´y, Strongly complete logics for coalgebras. Draft, 2006.
DOI : 10.2168/lmcs-8(3:14)2012

URL : http://arxiv.org/abs/1207.2732

K. Larsen and A. Skou, Bisimulation through probabilistic testing, Information and Computation, vol.94, issue.1, pp.1-28, 1991.
DOI : 10.1016/0890-5401(91)90030-6

URL : http://doi.org/10.1016/0890-5401(91)90030-6

D. Pattinson, Coalgebraic modal logic: soundness, completeness and decidability of local consequence, Theoretical Computer Science, vol.309, issue.1-3, pp.177-193, 2003.
DOI : 10.1016/S0304-3975(03)00201-9

M. Pauly, A Modal Logic for Coalitional Power in Games, Journal of Logic and Computation, vol.12, issue.1, pp.149-166, 2002.
DOI : 10.1093/logcom/12.1.149

L. Schröder, A finite model construction for coalgebraic modal logic, The Journal of Logic and Algebraic Programming, vol.73, issue.1-2, pp.97-110, 2007.
DOI : 10.1016/j.jlap.2006.11.004

L. Schröder and D. Pattinson, Rank-1 Modal Logics are Coalgebraic, Theoretical Aspects of Computer Science, STACS 07, pp.573-585, 2007.
DOI : 10.1093/logcom/exn096

K. Segerberg, Notes on conditional logic. Stud, Log, vol.48, pp.157-168, 1989.
DOI : 10.1007/bf02770509