An internal version of epistemic logic, Stud, Log, vol.94, issue.1, pp.1-22, 2010. ,
A Simple Modal Logic for Reasoning about Revealed Beliefs, Proc. ECSQARU 2009, pp.805-816, 2009. ,
DOI : 10.1007/s11229-006-9079-z
A useful four-valued logic Modern Uses of Multiple-Valued Logic, pp.8-37, 1977. ,
Knowledge compilation in the modal logic S5, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, pp.261-266, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00624482
Proof systems for the coalgebraic cover modality, Adv. Modal Log, vol.7, pp.1-21, 2008. ,
Partial logic, Handbook of Philosophical Logic, pp.1-70, 1985. ,
Local possibilistic logic, Journal of Applied Non-Classical Logics, vol.8, issue.3, pp.309-333, 1997. ,
DOI : 10.1080/11663081.1997.10510917
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.568
Modal logics for qualitative possibility theory, International Journal of Approximate Reasoning, vol.10, issue.2, pp.173-201, 1994. ,
DOI : 10.1016/0888-613X(94)90015-9
URL : http://doi.org/10.1016/0888-613x(94)90015-9
Modal Logic: An Introduction, 1980. ,
DOI : 10.1017/CBO9780511621192
Three-Valued Logics for Incomplete Information and Epistemic Logic, Proc. 13th European Conference on Logics in Artificial Intelligence (JELIA), pp.2012-147, 2012. ,
DOI : 10.1007/BF02121118
On Ignorance and Contradiction Considered as Truth-Values, Logic Journal of IGPL, vol.16, issue.2, pp.195-216, 2008. ,
DOI : 10.1093/jigpal/jzn003
URL : http://jigpal.oxfordjournals.org/cgi/content/short/16/2/195
Reasoning about ignorance and contradiction: many-valued logics vs. epistemic logic, Soft Comput, pp.1817-1831, 2012. ,
DOI : 10.1007/s00500-012-0833-5
Knowledge-driven versus data-driven logics, Journal of Logic, Language and Information, vol.9, issue.1, pp.65-89, 2000. ,
DOI : 10.1023/A:1008370109997
Possibilistic logic, Handbook of Logic in Artificial Intelligence and Logic Programming, pp.439-513, 1994. ,
URL : https://hal.archives-ouvertes.fr/hal-01123493
Resolution principles in possibilistic logic, International Journal of Approximate Reasoning, vol.4, issue.1, pp.1-21, 1990. ,
DOI : 10.1016/0888-613X(90)90006-N
Epistemic entrenchment and possibilistic logic, Artificial Intelligence, vol.50, issue.2, pp.223-239, 1991. ,
DOI : 10.1016/0004-3702(91)90101-O
Possibility Theory: Qualitative and Quantitative Aspects, Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp.169-226, 1998. ,
DOI : 10.1007/978-94-017-1735-9_6
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification, Ann. Math. Artif. Intell, vol.32, pp.35-66, 2001. ,
DOI : 10.1007/3-540-45493-4_26
Possibilistic logic: a retrospective and prospective view, Fuzzy Sets Syst, pp.3-23, 2004. ,
Generalized Possibilistic Logic, Scalable Uncertainty Management, pp.428-432, 2011. ,
DOI : 10.1007/978-3-642-23963-2_33
URL : https://hal.archives-ouvertes.fr/hal-01287713
Stable models in generalized possibilistic logic, 13th Int. Conf. on Principles of Knowledge Representation and Reasoning, pp.519-529, 2012. ,
Boolean algebras arising from information systems, Annals of Pure and Applied Logic, vol.127, issue.1-3, pp.77-98, 2004. ,
DOI : 10.1016/j.apal.2003.11.009
A logic for reasoning about probabilities, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science, pp.78-128, 1990. ,
DOI : 10.1109/LICS.1988.5138
A modal analysis of possibility theory, Fundamentals of Artificial Intelligence Research (FAIR'91), pp.11-18, 1991. ,
DOI : 10.1007/3-540-54507-7_2
Labelled Deductive Systems, 1996. ,
DOI : 10.1016/S1874-5075(03)80014-1
Knowledge in Flux, 1988. ,
A fuzzy modal logic for belief functions, Fundam, Inform, vol.57, pp.2-4, 2003. ,
The Metamathematics of Fuzzy Logics, Kluwer Academic, 1998. ,
Fuzzy logic and probability, Int. Conf. on Uncertainty in Artificial Intelligence, pp.237-244, 1995. ,
On Modal Logics for Qualitative Possibility in a Fuzzy Setting, Int. Conf. on Uncertainty in Artificial Intelligence, pp.278-285, 1994. ,
DOI : 10.1016/B978-1-55860-332-5.50040-7
Defining relative likelihood in partially-ordered preferential structures, J. Artif. Intell. Res, vol.7, pp.1-24, 1997. ,
Reasoning About Knowledge, revised paperback edition, 2003. ,
Toward a theory of knowledge and ignorance: Preliminary report Logics and Models of Concurrent Systems, pp.125-143, 1985. ,
A New Introduction to Modal Logic, 1996. ,
DOI : 10.4324/9780203290644
Knowledge, belief and time, Theoretical Computer Science, vol.58, issue.1-3, pp.155-174, 1988. ,
DOI : 10.1016/0304-3975(88)90024-2
URL : http://doi.org/10.1016/0304-3975(88)90024-2
All I know: A study in autoepistemic logic, Artificial Intelligence, vol.42, issue.2-3, pp.2-3, 1990. ,
DOI : 10.1016/0004-3702(90)90056-6
Counterfactuals and comparative possibility, J. Philos. Log, vol.2, pp.418-446, 1973. ,
DOI : 10.1007/bf00262950
Some Connections Between Epistemic Logic and the Theory of Nonadditive Probability, Patrick Suppes: Scientific Philosopher Synthese Library, pp.135-171, 1994. ,
DOI : 10.1007/978-94-011-0774-7_6
Semantical considerations on nonmonotonic logic, Semantical considerations on nonmonotonic logic, pp.75-94, 1985. ,
DOI : 10.1016/0004-3702(85)90042-6
Belief as defeasible knowledge, Artificial Intelligence, vol.64, issue.2, pp.299-321, 1993. ,
DOI : 10.1016/0004-3702(93)90107-M
Belief revision and default reasoning: syntax-based approaches, Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, pp.417-428, 1991. ,
Probabilistic logic, Probabilistic logic, pp.71-87, 1986. ,
DOI : 10.1016/0004-3702(86)90031-7
Kripke semantics for knowledge representation logics, Stud, Log, pp.49-255, 1990. ,
Axiomatizing collective judgment sets in a minimal logical language, Synthese, vol.115, issue.4, pp.233-250, 2007. ,
DOI : 10.1007/s11229-006-9079-z
Simplified Kripke style semantics for modal logics K5, KB5 and KD45, Bull. Sect. Log, vol.38, pp.163-171, 2009. ,
A Mathematical Theory of Evidence, 1976. ,
Nonadditive probabilities in the work of Bernoulli and Lambert, Arch. Hist. Exact Sci, vol.1979, issue.4, pp.309-370, 1978. ,
Moore's autoepistemic logic, Non-standard Logics for Automated Reasoning, pp.130-131, 1988. ,
Iterated theory base change: a computational model, Proc. IJCAI, pp.1541-1549, 1995. ,