Skip to main content
SpringerLink
Log in

Modal Epistemic and Doxastic Logic

  • Chapter
Handbook of Philosophical Logic

Part of the book series: Handbook of Philosophical Logic ((HALO,volume 10))

Abstract

Knowledge has always been a topic central to philosophy (cf. e.g. [Glymour, 1992]). Since ancient times philosophers have been interested in the way knowledge comes to us and in what way it relates to reality, the world in which we live. As is the case with so many things, during this century also the topic of knowledge has become the subject of formal investigations. Questions arose such as what the logical properties of knowledge are, and in order to come up with answers to these, logics have been devised to study these questions in a formal setting. These logics are now generally called ‘epistemic logics’, i.e., logics pertaining to ‘knowledge’. Mostly, also the notion of ‘belief, which is sometimes thought of as a weaker form of knowledge (but this is debated among philosophers (cf. [Gettier, 1963; Pollock, 1986; Voorbraak, 1993]) is considered, and we will also incorporate this notion in our treatment. Sometimes logics of belief are referred to with the special term ‘doxastic logics’, but we will just use the term ‘epistemic logic(s)’ for logics of knowledge and belief. Jaakko Hintikka [1962] was the first who proposed a modal logic approach to knowledge and belief. We follow the tradition of most recent treatments of modal logics, including those of knowledge and belief, by adopting possible world semantics in the style of Kripke [1963].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. S. Blarney. Partial logic. In Handbook of Philosophical Logic, 2nd edition, volume 5. D. M. Gabbay and F. Guenthner, eds., pp. 261–353. Kluwer Academic Publishers, Dordrecht, 2001.

    Google Scholar 

  2. C. Boutilier, Unifying Default Reasoning and Belief Revision in a Modal Framework, Artificial Intelligence 68, 1994, pp. 33–85.

    Article  Google Scholar 

  3. C. Boutilier, Conditional Logics of Normality: a Modal Approach, Artificial Intelligence 68, 1994, pp. 87–154.

    Article  Google Scholar 

  4. G. Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, Cambridge, 1991.

    Google Scholar 

  5. B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge / London, 1980.

    Book  Google Scholar 

  6. P.R. Cohen and H.J. Levesque, Intention is Choice with Commitment, Artificial Intelligence 42, 1990, pp. 213–261.

    Article  Google Scholar 

  7. M. Dunn and G. Restall. Relevance logic. In Handbook of Philosophical Logic, Second edition, Volume 6. D. M. Gabbay and F. Guenthener, eds., pp. 1–128. Kluwer, 2002.

    Chapter  Google Scholar 

  8. J. Engelfriet, Only Persistence Makes Nonmonotonicity Monotonous, in: J.J. Alferes, L.M. Pereira and E. Orlowska (eds.), Logics in Artificial Intelligence, Proceedings JELIA ’96, Springer, 1996, pp. 164–175.

    Chapter  Google Scholar 

  9. J. Engelfriet and J. Treur, An Interpretation of Default Logic in Minimal Temporal Epistemic Logic, Technical Report, Vrije Universiteit, Amsterdam, 1997.

    Google Scholar 

  10. R. Fagin and J.Y. Halpern, Belief, Awareness and Limited Reasoning, Artificial Intelligence 34, 1988, pp. 39–76.

    Article  Google Scholar 

  11. R. Fagin and J.Y. Halpern, Reasoning about Knowledge and Probability, J. of the A CM 41(2), 1994, pp. 340–367.

    Google Scholar 

  12. R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning about Knowledge, The MIT Press, Cambridge, Massachusetts, 1995.

    Google Scholar 

  13. R. Fagin, J.Y. Halpern and M.Y. Vardi, A Model-Theoretic Analysis of Knowledge, in: Proceedings of the 25th IEEE Symp. on Foundations of Computer Science, 1984, pp. 268–278.

    Google Scholar 

  14. R. Fagin, J.Y. Halpern and M.Y. Vardi, A Model-Theoretic Analysis of Knowledge, J. of the A CM 38(2), 1991, pp. 382–428.

    Google Scholar 

  15. R. Fagin and M.Y. Vardi, Knowledge and Implicit Knowledge in a Distributed Environment, in: J.Y. Halpern (ed.), Proceedings of the 1st Conference on Theoretical Aspects of Knowledge, Morgan Kaufmann, Los Altos, 1986, pp. 187–206.

    Google Scholar 

  16. M.J. Fischer and N. Immerman, Foundations of Knowledge for Distributed Systems, in: J.Y. Halpern (ed.), Proceedings of the 1st Conference on Theoretical Aspects of Knowledge, Morgan Kaufmann, Los Altos, 1986, pp. 171–185.

    Google Scholar 

  17. M. Fisher, A Survey of Concurrent Metate M — the Language and Its Applications, in: D.M. Gabbay and H.J. Ohlbach (eds.),Temporal Logic — Proc. of the 1st Int, conf. LNAI vol.827, Springer, 1994, pp. 480–505.

    Google Scholar 

  18. E. Gettier, Is Justified True Belief Knowledge? Analysis 23, 1963, pp. 121–123.

    Article  Google Scholar 

  19. L. Godo, W. van der Hoek, J.-J. Ch. Meyer and C Sierra, Many-Valued Epistemic States: An Application to a Reflective Architecture: MILORD-II, in: B. Bouchon-Meunier, R.R. Yager and L.A. Zadeh (eds.), Advances in Intelligent Computing — IPMU’94 (Selected papers), LNCS 945, Springer-Verlag, Berlin, 1995, pp. 440–452.

    Google Scholar 

  20. C.N. Glymour, Thinking Things Through, an Introduction to Philosophical Issues and Achievements, The MIT Press, Cambridge, Massachusetts, 1992.

    Google Scholar 

  21. J.Y. Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge, Proceedings of the 1986 Conference, Monterey, Morgan Kaufmann, Los Altos, 1986.

    Google Scholar 

  22. J.Y. Halpern, Using Reasoning about Knowledge to Analyze Distributed Systems, Ann. Rev. Comput. Sci. 2, 1987, pp. 37–68.

    Article  Google Scholar 

  23. J.Y. Halpern and R. Fagin, Modelling Knowledge and Action in Distributed Systems, Distributed Computing 3, 1989, pp. 159–177.

    Article  Google Scholar 

  24. J.Y. Halpern and Y.O. Moses, Towards a Theory of Knowledge and Ignorance, in: Proceedings of the AAAI Workshop on Non-Monotonic Reasoning, AAAI, 1984, pp. 125–143.

    Google Scholar 

  25. J.Y. Halpern and Y.O. Moses, Knowledge and Common Knowledge in a Distributed Environment, in: Proceedings of the 3rd ACM Symp. on Principles of Distributed Computing, 1984, pp. 50–61.

    Chapter  Google Scholar 

  26. J.Y. Halpern and Y.O. Moses, A Guide to the Modal Logics of Knowledge and Belief, in: Proceedings of the 9th International Joint Conference on Artificial Intelligence, 1985, pp. 480–490.

    Google Scholar 

  27. J.Y. Halpern and Y.O. Moses, Knowledge and Common Knowledge in a Distributed Environment, J. ACM 37(3), 1990, pp. 549–587.

    Article  Google Scholar 

  28. J.Y. Halpern and Y.O. Moses, A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief, Artificial Intelligence 54, 1992, pp. 319–379.

    Article  Google Scholar 

  29. J.Y. Halpern and M.R. Tuttle, Knowledge, Probability, and Adversaries, J. of the ACM 40(4), 1993, pp. 917–962. University of Amsterdam, 1990, pp. 637–662.

    Article  Google Scholar 

  30. J.Y. Halpern and L.D. Zuck, A Little Knowledge Goes a Long Way: Simple Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols, in: Proceedings of the 6th ACM Symp. on Principles of Distributed Computing, 1987, pp. 269–280.

    Google Scholar 

  31. K. V. Hindriks, F. S. de Boer, W. van der Hoek and J.-J. Ch. Meyer, Agent programming in 3APL. Autonomous Agents and Multi Agent Systems 2(4), 1999, pp. 357–401.

    Article  Google Scholar 

  32. J. Hintikka, Knowledge and Belief, Cornell University Press, Ithaca (N.Y.), 1962.

    Google Scholar 

  33. G.E. Hughes and M.J. Cresswell, An Introduction to Modal logic, Methuen and Co. Ltd, London, 1968.

    Google Scholar 

  34. G.E. Hughes and M.J. Cresswell, A Companion to Modal Logic, Methuen, London, 1984.

    Google Scholar 

  35. I.L. Humberstone, Inaccessible Worlds, Notre Dame J. of Formal Logic 24(3), 1983, pp. 346–352.

    Article  Google Scholar 

  36. J.O.M. Jaspars, Fused Modal Logic and Inconsistent Belief, in: M. De Glas and D. Gabbay (eds.), Proceedings of the 1st World Conference on the Fundamentals of Artificial Intelligence (WOCFAI’91), Paris, 1991, pp. 267–275.

    Google Scholar 

  37. J.O.M. Jaspars, Logical Omniscience and Inconsistent Belief, in: M. de Rijke (ed.), Diamonds and Defaults, Kluwer Academic Publishers, Dordrecht, 1993, pp. 129–146.

    Chapter  Google Scholar 

  38. A. I. J. Jones and J. Carmo. Deontic logic and contrary-to-duties. In Handbook of Philosophical Logic, second edition, Volume 8. D. M. Gabbay and F. Guenthner, eds., pp. 265–344. Kluwer, 2002.

    Google Scholar 

  39. K. Konolige, A Deduction Model of Belief, Pitman / Morgan Kaufmann, London / Los Altos, 1986.

    Google Scholar 

  40. S. Kraus and D. Lehmann, Knowledge, Belief and Time, in: L. Kott (ed.), Proceedings of the 13th Int. Colloquium on Automata, Languages and Programming, Rennes, LNCS 226, Springer, Berlin, 1986.

    Google Scholar 

  41. S. Kripke, Semantic Analysis of Modal Logic, Zeitschrift fr Mathematische Logik und Grundlagen der Mathematik 9, 1963, pp. 67–96.

    Article  Google Scholar 

  42. Y. Lespérance, H.J. Levesque, F. Lin, R. Reiter and R.B. Scherl, Foundations to a Logical Approach to Agent Programming, in: M. Wooldridge, J.P. Müller and M. Tambe (eds.), Intelligent Agents II — Agent Theories, Architectures, and Languages, LNAI 1037, Springer, 1996, pp. 331–346.

    Chapter  Google Scholar 

  43. H.J. Levesque, A Logic of Implicit and Explicit Belief, in: Proceedings of the National Conference on Artificial Intelligence, 1984, pp. 198–202.

    Google Scholar 

  44. H.J. Levesque, All I Know: A Study in Autoepistemic Logic, Artificial Intelligence 42, 1990, pp. 263–309.

    Article  Google Scholar 

  45. F. Lin and Y. Shoham, A Logic of Knowledge and Justified Assumptions, Artificial Intelligence 57, 1992, pp. 271–289.

    Article  Google Scholar 

  46. A. Lomuscio and M. Ryan, A Note on the Relation between Interpreted Systems and Kripke Models, in: J. Bell, Z. Huang and S. Parsons (eds.), Proceedings of the Second Workshop on Practical Reasoning and Rationality (PRR’97), AISB/Univ. of Manchester, 1997, pp. 38–43.

    Google Scholar 

  47. P. Maes and D. Nardi (eds.), Meta-Level Architectures and Reflection, North-Holland, Amsterdam, 1988.

    Google Scholar 

  48. V. W. Marek and M. Truszczynski, Nonmonotonic Logic, Context-Dependent Reasoning, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  49. J.-J. Ch. Meyer and W. van der Hoek, A Default Logic Based on Epistemic States, Fundamenta Informaticae 23(1), 1995, pp. 33–65.

    Google Scholar 

  50. J.-J. Ch. Meyer and W. van der Hoek, Epistemic Logic for AI and Computer Science, Cambridge University Press, Cambridge, 1995.

    Book  Google Scholar 

  51. J.-J. Ch. Meyer and W. van der Hoek, Modal Logics for Representing Incoherent Knowledge, to appear in: Ph. Besnard and A. Hunter (eds.), Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. HI, 1998.

    Google Scholar 

  52. J.-J. Ch. Meyer, W. van der Hoek and B. van Linder, A logical approach to the dynamics of commitments. Artificial Intelligence 113, 1999, pp. 1–40.

    Google Scholar 

  53. R.C. Moore, Possible-World Semantics for Autoepistemic Logic, in: Proceedings of the Non-Monotonic Reasoning Workshop, New Paltz NY, 1984, pp. 344–354.

    Google Scholar 

  54. R.C. Moore, Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25, 1985, pp. 75–94.

    Article  Google Scholar 

  55. R.C. Moore, A Formal Theory of Knowledge and Action, in: J.R. Hobbs and R.C. Moore (eds.), Formal Theories of the Commonsense World, 1985, Ablex, Norwood, New Jersey, pp. 319–358.

    Google Scholar 

  56. Y. Moses, Resource-Bounded Knowledge, in: M. Vardi (ed.), Proceedings of the 2nd Conference on Theoretical Aspects of Knowledge, Morgan Kaufmann, Los Altos, 1988, pp. 261–275.

    Google Scholar 

  57. Y. Moses, Knowledge and Communication, in: Y. Moses (ed.), Proceedings of the 4th Conference on Theoretical Aspects of Knowledge, Morgan Kaufmann, San Mateo, 1992, pp. 1–14.

    Google Scholar 

  58. J.L. Pollock, Contemporary Theories of Knowledge, Hutchinson, London, 1986.

    Google Scholar 

  59. V. Rantala, Impossible World Semantics and Logical Omniscience, Acta Philosophica Fennica 35, 1982, pp. 106–115.

    Google Scholar 

  60. A.S. Rao and M.P. Georgeff, Modeling rational agents within a BDI-architecture, in: J. Allen, R. Fikes and E. Sandewall (eds.), Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR’91), Morgan Kaufmann, Los Altos, California, 1991, pp. 473–484.

    Google Scholar 

  61. R. Reiter, On Closed World Data Bases, in: H. Gallaire and J. Minker (eds.), Logic and Data Bases, Plenum Press, New York, 1978, pp. 55–76.

    Chapter  Google Scholar 

  62. R. Reiter, A Logic for Default Reasoning, Artificial Intelligence 13, 1980, pp. 81–132.

    Article  Google Scholar 

  63. Y. Shoham, Nonmonotonic Logics: Meaning and Utility, in: Proceedings IJCAI’87, Milan, Italy, 1987.

    Google Scholar 

  64. Y. Shoham, Agent-Oriented Programming, Artificial Intelligence 60(1), 1993, pp. 51–92.

    Article  Google Scholar 

  65. G. Schwarz and M. Truszczynski, Minimal Knowledge Problem: a New Approach, Artificial Intelligence 67, 1994, pp. 113–141.

    Article  Google Scholar 

  66. Y.H. Tan and J. Treur, Constructive Default Logic in a Meta Level Architecture, in: Proc. Int. Workshop on Reflection and Meta-Level Architectures IMSA ’92, Tokyo, 1992.

    Google Scholar 

  67. A.S. Tanenbaum, Computer Networks, Prentice-Hall, Englewood Cliffs, New Jersey, 1981.

    Google Scholar 

  68. E. Thijsse, Partial Logic and Knowledge Representation, PhD Thesis, Tilburg University, 1992.

    Google Scholar 

  69. S.R. Thomas, The PLACA Agent Programming Language, in: M. Wooldridge and N.R. Jennings (eds.), Intelligent Agents — Proc. of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995, pp. 355–370.

    Google Scholar 

  70. W. van der Hoek, Systems for Knowledge and Belief, in: J. van Eijck (ed.), Logics in AI (Proc. JELIA ’90), LNCS 478, Springer, 1991, pp. 267–281;

    Google Scholar 

  71. W. van der Hoek, Systems for Knowledge and Belief, Journal of Logic and Computation 3(2), 1993, pp. 173–195.

    Article  Google Scholar 

  72. W. van der Hoek, Qualitative Modalities, in: B. Mayoh (ed.), Proceedings of the Scandinavian Conference on Artificial Intelligence ’91, IOS Press, Amsterdam, 1991, pp. 322–327.

    Google Scholar 

  73. W. van der Hoek, Modalities for Reasoning about Knowledge and Quantities, PhD Thesis, Free University, Amsterdam, 1992.

    Google Scholar 

  74. W. van der Hoek, On the Semantics of Graded Modalities, Journal of Applied Non-Classical Logics 2(1), 1992, pp. 81–123.

    Google Scholar 

  75. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer, A logic of capabilities, in: A. Nerode and Yu. V. Matiyasevich (eds.), Proceedings of the Third International Symposium on the Logical Foundations of Computer Science (LFCS’94), LNCS 813, Springer-Verlag, Berlin/Heidelberg, 1994, pp. 366–378.

    Chapter  Google Scholar 

  76. W. van der Hoek and J.-J. Ch. Meyer, Possible Logics for Belief, Logique et Analyse 127–128, 1989, pp.177–194.

    Google Scholar 

  77. W. van der Hoek and J.-J. Ch. Meyer, Graded Modalities in Epistemic Logic, Logique et Analyse 133–134, 1991, pp. 251–270.

    Google Scholar 

  78. W. van der Hoek and J.-J. Ch. Meyer, Making Some Issues of Implicit Knowledge Explicit, Int. J. of Foundations of Computer Science 3(2), 1992, pp. 193–223.

    Article  Google Scholar 

  79. W. van der Hoek and J.-J. Ch. Meyer, A Complete Epistemic Logic for Multiple Agents: Combining Distributed and Common Knowledge, Techn. Report No. UU-CS-1996–52, Utrecht University, 1996.

    Google Scholar 

  80. W. van der Hoek, J.-J. Ch. Meyer and J. Treur, Formal Semantics of Temporal Epistemic Reflection, in: L. Fribourg and F. Turini (eds.), Logic Program Synthesis and Transformation — Meta-Programming in Logic, 4th Int. Workshops, LOPSTR’94 and META’94, LNCS 883, Springer-Verlag, 1994, pp, 332–352.

    Chapter  Google Scholar 

  81. B. van Linder, W. van der Hoek and J.-J. Ch. Meyer, Tests as Epistemic Updates. In: A.G. Cohn (ed.), Proc. ECAI’94, Amsterdam, Wiley, Chichester, 1994, pp. 331–335.

    Google Scholar 

  82. B. van Linder, W. van der Hoek and J.-J. Ch. Meyer, Communicating Rational Agents. In: B. Nebel and L. Dreschler-Fischer (eds.), Proc. KI-94: Advances in Artificial Intelligence, LNCS 861, Springer-Verlag, 1994, pp. 202–213.

    Chapter  Google Scholar 

  83. B. van Linder, W. van der Hoek and J.-J. Ch. Meyer, Actions that Make You Change Your Mind: Belief Revision in an Agent-Oriented Setting, in: A. Laux and H. Wansing (eds.), Knowledge and Belief in Philosophy and Artificial Intelligence, Akademie Verlag, Berlin, 1995, pp. 103–146.

    Google Scholar 

  84. B. van Linder, W. van der Hoek and J.-J. Ch. Meyer, Formalising Motivational Attitudes of Agents: On Preferences, Goals and Commitments, in: M. Wooldridge, J.P. Müller and M. Tambe (eds.), Intelligent Agents II — Agent Theories, Architectures, and Languages, LNAI 1037, Springer-Verlag, 1996, pp. 17–32.

    Chapter  Google Scholar 

  85. B. van Linder, W. van der Hoek and J.-J. Ch. Meyer, The Dynamics of Default Reasoning, Data and Knowledge Engineering 21 (3), 1997, pp. 317–346.

    Article  Google Scholar 

  86. M.Y. Vardi (ed.), Proceedings of the 2nd Conf. on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, Morgan-Kaufmann Los Altos, 1988.

    Google Scholar 

  87. F. Voorbraak, The Logic of Objective Knowledge and Rational Belief, in: J. van Eijck (ed.), Logics in AI (Proceedings of JELIA ’90), LNCS 478, Springer, 1991, pp. 499–516.

    Google Scholar 

  88. F. Voorbraak, As Far as I Know: Epistemic Logic and Uncertainty, PhD Thesis, Utrecht University, Utrecht, 1993.

    Google Scholar 

  89. G.A.W. Vreeswijk, A Complete Logic for Autoepistemic Membership, in: J. van Eijck (ed.), Logics in AI (Proceedings of JELIA ’90), LNCS 478, Springer, 1991, pp. 516–525.

    Google Scholar 

  90. H. Wansing, A General Possible Worlds Framework for Reasoning about Knowledge and Belief, Studia Logica 49, 1990, pp. 523–539.

    Article  Google Scholar 

  91. D. Weerasooriya, A. Rao and K. Ramamohanarao, Design of a Concurrent Agent-Oriented Language, in: M. Wooldridge and N.R. Jennings (eds.), Intelligent Agents — Proc. of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995, pp. 386–401.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Utrecht University, The Netherlands

    John-Jules Ch. Meyer

Authors
  1. John-Jules Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. King’s College, London, UK

    D. M. Gabbay

  2. Centrum für Informations- und Sprachverarbeitung, Ludwig-Maximilians-Universität München, Germany

    F. Guenthner

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Meyer, JJ.C. (2003). Modal Epistemic and Doxastic Logic. In: Gabbay, D.M., Guenthner, F. (eds) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol 10. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-4524-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-4524-6_1

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-6431-8

  • Online ISBN: 978-94-017-4524-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation