A simple modal logic for reasoning about revealed beliefs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5590 LNAI, Issue , 2009, Pages 805-816

  Banerjee, Mohua ^a   Dubois, Didier ^b  

^a INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

^b UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSICAL LOGIC; EPISTEMIC STATE; LOGICAL FORMULAS; MODAL LOGIC; POSSIBLE WORLDS; PROPOSITIONAL LOGIC; THEORY OF BELIEF FUNCTIONS;

ARTIFICIAL INTELLIGENCE;

SET THEORY;

EID: 69049099052     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02906-6_69     Document Type: Conference Paper

References (17)

1. Blackburn, P., de Rijke,M., Venema, Y.:Modal Logic. Cambridge U. P., Cambridge (2001)
2. Blamey, S.: Partial logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 3, pp. 1-70. D. Reidel Publishing Company, Dordrecht (1985)
3. Chellas, B.F.: Modal Logic: an Introduction. Cambridge University Press, Cambridge (1980)
4. Dubois, D.: On ignorance and contradiction considered as truth-values. Logic Journal of the IGPL 16(2), 195-216 (2008)
5. Dubois, D., Hájek, P., Prade, H.: Knowledge-driven versus data-driven logics. J. Logic, Language and Information 9, 65-89 (2000)
6. Dubois, D., Prade, H.: Possibilistic logic: a retrospective and prospective view. Fuzzy Sets and Systems 144, 3-23 (2004)
7. Dubois, D., Prade, H.: Toward multiple-agent extensions of possibilistic logic. In: Proc. IEEE Int. Conf. on Fuzzy Systems, pp. 187-192 (2007)
8. Gärdenfors, P.: Knowledge in Flux. MIT Press, Cambridge (1988)
9. Godo, L., Hájek, P., Esteva, F.: A fuzzy modal logic for belief functions. Fundam. Inform. 57(2-4), 127-146 (2003)
10. Hájek, P.: The Metamathematics of Fuzzy Logics. Kluwer Academic Publishers, Dordrecht (1998)
11. Hájek, P., Harmancova, D., Esteva, F., Garcia, P., Godo, L.: On modal logics for qualitative possibility in a fuzzy setting. In: Lopez de Mantaras, R., Poole, D. (eds.) UAI, pp. 278-285. Morgan Kaufmann, San Francisco (1994)
12. Halpern, J.Y., Fagin, R., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (2003) (Revised paperback edition)
13. Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge (1996)
14. Moore, R.C.: Semantical considerations on nonmonotonic logic. Artificial Intelligence 25, 75-94 (1985)
15. Pauly, M.: Axiomatizing collective judgment sets in a minimal logical language. Synthese 158(2), 233-250 (2007)
16. Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)
17. Smets, P.: Comments on R. C. Moore's autoepistemic logic. In: Smets, P., Mamdani, E.H., Dubois, D., Prade, H. (eds.) Non-standard Logics for Automated Reasoning, pp. 130-131. Academic Press, London (1988)