E. Adams, The Logic of Conditionals, volume 86 of Synthese Library, 1975.

C. E. Alchourrón, P. Gärdenfors, and D. Makinson, Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985.
DOI : 10.1080/00048408412341331

H. Arlo-costa, Qualitative and probabilistic models of full belief, Logic Colloquium'98, Lecture Notes on Logic 13, 1999.

S. Artemov and M. Fitting, Justification logic The Stanford Encyclopedia of Philosophy, 2011.

G. Aucher, A Combined System for Update Logic and Belief Revision, PRIMA, pp.1-17, 2004.
DOI : 10.1007/978-3-540-32128-6_1
URL : https://hal.archives-ouvertes.fr/inria-00537233

G. Aucher, Interpreting an action from what we perceive and what we expect, Journal of Applied Non-Classical Logics, vol.12, issue.4, pp.9-38, 2007.
DOI : 10.3166/jancl.17.9-38
URL : https://hal.archives-ouvertes.fr/inria-00556151

G. Aucher, An Internal Version of Epistemic Logic, Studia Logica, vol.34, issue.2, pp.1-22, 2010.
DOI : 10.1007/s11225-010-9227-9
URL : https://hal.archives-ouvertes.fr/inria-00556030

A. J. Ayer, The Problem of Knowledge. Penguin books, 1956.

A. Baltag and S. Smets, Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision, Electronic Notes in Theoretical Computer Science, vol.165, pp.5-21, 2006.
DOI : 10.1016/j.entcs.2006.05.034

A. Baltag and S. Smets, Texts in Logic and Games, Logic of Conditional Doxastic Actions, pp.9-31, 2008.

A. Baltag and S. Smets, Texts in Logic and Games, Qualitative Theory of Dynamic Interactive Belief Revision, vol.3, pp.9-58, 2008.

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, volume 53 of Cambridge Tracts in Computer Science, 2001.

O. Board, Dynamic interactive epistemology, Games and Economic Behavior, vol.49, issue.1, pp.49-80, 2004.
DOI : 10.1016/j.geb.2003.10.006

D. Bonnay and P. Egré, Inexact Knowledge with Introspection, Journal of Philosophical Logic, vol.33, issue.1, pp.179-227, 2008.
DOI : 10.1007/s10992-008-9087-1
URL : https://hal.archives-ouvertes.fr/ijn_00261673

C. Boutilier, Conditional logics of normality: A modal approach, Artificial Intelligence, vol.68, issue.1, pp.87-154, 1994.
DOI : 10.1016/0004-3702(94)90096-5

H. Castañeda, Hintikka Jaakko. Knowledge and belief. An introduction to the logic of the two notions. Cornell University Press, Ithaca, N.Y., 1962, x + 179 pp., The Journal of Symbolic Logic, vol.29, issue.03, pp.132-134, 1964.
DOI : 10.2307/2271621

P. Cohen and H. Levesque, Intention is choice with commitment, Artificial Intelligence, vol.42, issue.2-3, pp.213-261, 1990.
DOI : 10.1016/0004-3702(90)90055-5

M. De-rijke, A note on graded modal logic, Studia Logica, vol.64, issue.2, pp.271-283, 2000.
DOI : 10.1023/A:1005245900406

F. Deschene and Y. Wang, To know or not to know: epistemic approaches to security protocol verification, Synthese, vol.168, issue.1, pp.51-76, 2010.
DOI : 10.1007/s11229-010-9765-8

D. Dubois and H. Prade, Possibilistic logic, preferential model and related issue, Proceedings of the 12th International Conference on Artificial Intelligence (IJCAI), pp.419-425, 1991.

R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning about knowledge, 1995.

R. Fagin and J. Y. Halpern, Belief, awareness, and limited reasoning, Artificial Intelligence, vol.34, issue.1, pp.39-76, 1987.
DOI : 10.1016/0004-3702(87)90003-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.5271

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

L. Floridi, The logic of being informed, Logique et Analyse, vol.49, issue.196, pp.433-460, 2006.
DOI : 10.1093/acprof:oso/9780199232383.003.0010

N. Friedman and J. Y. Halpern, Modeling belief in dynamic systems, part I: Foundations, Artificial Intelligence, vol.95, issue.2, pp.257-316, 1997.
DOI : 10.1016/S0004-3702(97)00040-4

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

P. Gärdenfors, Knowledge in Flux (Modeling the Dynamics of Epistemic States, 1988.

M. Georgeff and A. Rao, Asymmetry thesis and side-effect problems in linear time and branching time intention logics, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pp.498-504, 1991.

E. Gettier, Is justified true belief knowledge? Analysis, pp.121-123, 1963.

P. Gochet, Logiqué epistémique et philosophie des mathématiques, chapter Un probì eme ouvert enépistémologieen´enépistémologie : la formalisation du savoir-faire, 2007.

P. Gochet and P. Gribomont, Epistemic logic, Twentieth Century Modalities, chapter Epistemic Logic, vol.7, pp.99-195, 2006.
DOI : 10.1016/S1874-5857(06)80028-2

J. Halpern, Reasoning about Uncertainty, 2003.

J. Halpern and Y. Moses, Knowledge and common knowledge in a distributed environment, Journal of the ACM, vol.37, issue.3, pp.549-587, 1990.
DOI : 10.1145/79147.79161

J. Halpern and Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence, vol.54, issue.3, pp.311-379, 1992.
DOI : 10.1016/0004-3702(92)90049-4

J. Y. Halpern, Should knowledge entail belief?, Journal of Philosophical Logic, vol.25, issue.5, pp.483-494, 1996.
DOI : 10.1007/BF00257382
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.7367

J. Y. Halpern and R. Pucella, Modeling Adversaries in a Logic for Security Protocol Analysis, Formal Aspects of Security, pp.115-132, 2002.
DOI : 10.1007/978-3-540-40981-6_11

J. Y. Halpern and R. Pucella, Dealing with logical omniscience: Expressiveness and pragmatics, Artificial Intelligence, vol.175, issue.1, pp.220-235, 2011.
DOI : 10.1016/j.artint.2010.04.009

J. Y. Halpern and L. C. Rêgo, Reasoning about knowledge of unawareness revisited, pp.166-173, 2009.

J. Y. Halpern, D. Samet, and E. Segev, Defining knowledge in terms of belief: the modal logic perspective. The Review of Symbolic Logic, pp.469-487, 2009.

J. Y. Halpern, D. Samet, and E. Segev, On definability in multimodal logic. The Review of Symbolic Logic, pp.451-468, 2009.

A. Heifetz, M. Meier, and B. Schipper, Interactive unawareness, Journal of Economic Theory, vol.130, issue.1, pp.78-94, 2006.
DOI : 10.1016/j.jet.2005.02.007

D. Hemp, The KK (knowing that one knows) principle. The Internet Encyclopedia of Philosophy, 2006.

V. Hendricks, Mainstream and Formal Epistemology, 2005.
DOI : 10.1017/CBO9780511616150

V. Hendricks and J. Symons, Introduction: 8 Bridges between Mainstream and Formal Epistemology, Philosophical Studies, vol.12, issue.4, 2006.
DOI : 10.1007/s11098-005-4068-5

A. Herzig, Modal probability, belief, and actions, Fundamenta Informaticae, vol.57, issue.2-4, pp.323-344, 2003.
DOI : 10.1007/978-3-540-45062-7_5

J. Hintikka, Knowledge and Belief, An Introduction to the Logic of the Two Notions, 1962.

S. Kraus and D. Lehmann, Knowledge, belief and time, Automata, Languages and Programming, pp.186-195, 1986.
DOI : 10.1007/3-540-16761-7_68
URL : http://doi.org/10.1016/0304-3975(88)90024-2

S. Kraus, D. J. Lehmann, and M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence, vol.44, issue.1-2, pp.167-207, 1990.
DOI : 10.1016/0004-3702(90)90101-5
URL : http://arxiv.org/abs/cs/0202021

H. Kyburg, Probability and the Logic of Rational Belief, 1961.

P. Lamarre and Y. Shoham, Knowledge, Certainty, Belief, and Conditionalisation (abbreviated version), In KR, pp.415-424, 1994.
DOI : 10.1016/B978-1-4832-1452-8.50134-2

N. Laverny and J. Lang, From knowledge-based programs to graded belief-based programs, part ii: off-line reasoning, IJCAI, pp.497-502, 2005.

K. Lehrer and T. Paxson, Knowledge: Undefeated Justified True Belief, The Journal of Philosophy, vol.66, issue.8, pp.225-237, 1969.
DOI : 10.2307/2024435

W. Lenzen, Recent Work in Epistemic Logic. Acta Philosophica Fennica 30, 1978.

W. Lenzen, Epistemologische betractungen zu [S4, pp.33-56, 1979.
DOI : 10.1007/bf00205012

W. Lenzen, V. F. Hendricks, K. F. Jørgensen, S. A. Pedersen, V. F. Hendricks et al., Knowledge, Belief, and Subjective Probability: Outlines of a Unified System of Epistemic/Doxastic Logic, Knowledge Contributors, pp.17-31, 2004.
DOI : 10.1007/978-94-007-1001-6_2

H. Levesque, A logic of implicit and explicit knowledge, AAAI-84, pp.198-202, 1984.

I. Levi, The covenant of reason: rationality and the commitments of thought, chapter The Logic of Full Belief, pp.40-69, 1997.
DOI : 10.1017/CBO9781139173032

D. Lewis, Convention, a Philosophical Study, 1969.

E. Lorini and C. Castelfranchi, The cognitive structure of surprise: looking for basic principles, Topoi, vol.6, issue.1, pp.133-149, 2007.
DOI : 10.1007/s11245-006-9000-x

W. Lycan, Epistemology Futures, chapter On the Gettier Problem Problem, pp.148-168, 2006.

D. Makinson and P. Gärdenfors, Relations between the logic of theory change and nonmonotonic logic The Logic of Theory Change, Lecture Notes in Computer Science, vol.465, pp.185-205, 1989.

J. C. Meyer, F. De-boer, R. Van-eijk, K. Hindriks, and W. Van-der-hoek, On programming KARO agents, Logic Journal of IGPL, vol.9, issue.2, 2001.
DOI : 10.1093/jigpal/9.2.245

J. C. Meyer and W. Van-der-hoek, Epistemic Logic for AI and Computer Science, 1995.
DOI : 10.1017/CBO9780511569852

Y. Moses and Y. Shoham, Belief as defeasible knowledge, Artificial Intelligence, vol.64, issue.2, pp.299-321, 1993.
DOI : 10.1016/0004-3702(93)90107-M

E. Pacuit, Dialogue, Rationality, Formalism, chapter Procedural Information and the Dynamics of Belief, 2012.

D. Prichard, Epistemic luck, Journal of Philosophical Research, vol.29, pp.193-222, 2004.

A. Rao and M. Georgeff, Modeling rational agents within a BDI-architecture, 1991.

R. C. Moore, Possible-world semantics for autoepistemic logic, Proceedings of the Non-Monotonic Reasoning Workshop, pp.344-354, 1984.

R. C. Moore, Logic and Representation. CSLI Lecture Notes, 1995.

H. Rott, Stability, Strength and Sensitivity: Converting Belief into Knowledge, Erkenntnis, vol.61, pp.469-493, 2004.
DOI : 10.1007/1-4020-3835-6_20

C. Sakama, M. Caminada, and A. Herzig, A Logical Account of Lying, Logics in Artificial Intelligence, pp.286-299, 2010.
DOI : 10.1007/978-3-642-15675-5_25

Y. Shoham and K. Leyton-brown, Multiagent Systems: Algorithmic, Game- Theoretic, and Logical Foundations, 2009.
DOI : 10.1017/CBO9780511811654

W. Spohn, Causation in Decision, Belief Change, and Statistics, Ordinal conditional functions: A dynamic theory of epistemic states, pp.105-134, 1988.

W. Spohn, A General Non-Probabilistic Theory of Inductive Reasoning, UAI, pp.149-158, 1988.
DOI : 10.1016/B978-0-444-88650-7.50017-2

R. Stalnaker, On Logics of Knowledge and Belief, Philosophical Studies, vol.11, issue.1, pp.169-199, 2006.
DOI : 10.1007/s11098-005-4062-y

J. Van-benthem, Dynamic logic for belief revision, Journal of Applied Non-Classical Logics, vol.147, issue.11, pp.129-155, 2007.
DOI : 10.1007/BF00248150

J. W. Van-benthem, Logical Dynamics of Information and Interaction Sytems for knowledge and belief, Journal of Logic and Computation, vol.3, issue.2, pp.173-195, 1993.

W. Van-der-hoek and J. C. Meyer, Graded modalities in epistemic logic, LFCS, pp.503-514229, 1992.
DOI : 10.1007/BFb0023902

H. Van-ditmarsch, W. Van-der-hoek, B. Kooi, H. P. Van-ditmarsch, J. Van-eijck et al., Dynamic Epistemic Logic, volume 337 of Synthese library On the logic of lying Texts in Logic and Games, LNAI-FoLLI Formalising abilities and opportunities of agents, Games, Actions and Social Software, pp.53-101, 1998.

F. Voorbraak, As Far as I know. Epistemic Logic and Uncertainty, 1993.

G. Wheeler, Is there a logic of information? unpublished manuscript, 2012.

T. Williamson, Knowledge and its Limits, 2000.
DOI : 10.1093/019925656X.001.0001

M. Wooldridge, Reasoning About Rational Agents, 2000.