The Description Logic Handbook, 2003. ,
DOI : 10.1017/CBO9780511711787
Modal Logic, 2001. ,
DOI : 10.1017/CBO9781107050884
URL : https://hal.archives-ouvertes.fr/inria-00100502
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
Modal Logic, 1980. ,
DOI : 10.1017/CBO9780511621192
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
Graded modalities II. Stud, Log, vol.47, pp.1-10, 1988. ,
Graded modalities. III (the completeness and compactness of S40), Studia Logica, vol.44, issue.2, pp.99-110, 1988. ,
DOI : 10.1007/BF00370285
In so many possible worlds., Notre Dame Journal of Formal Logic, vol.13, issue.4, pp.516-520, 1972. ,
DOI : 10.1305/ndjfl/1093890715
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
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
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
Coalgebraic modal logic of finite rank, Mathematical Structures in Computer Science, vol.15, issue.3, pp.453-473, 2005. ,
DOI : 10.1017/S0960129505004755
Strongly complete logics for coalgebras. Draft, 2006. ,
DOI : 10.2168/lmcs-8(3:14)2012
URL : http://arxiv.org/abs/1207.2732
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
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
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
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
Rank-1 Modal Logics are Coalgebraic, Theoretical Aspects of Computer Science, STACS 07, pp.573-585, 2007. ,
DOI : 10.1093/logcom/exn096
Notes on conditional logic. Stud, Log, vol.48, pp.157-168, 1989. ,
DOI : 10.1007/bf02770509