Skip to main content
SpringerLink
Log in

Bridges between Dynamic Doxastic and Doxastic Temporal Logics

  • Conference paper
Logic and the Foundations of Game and Decision Theory – LOFT 8 (LOFT 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6006))

Abstract

This paper builds bridges between the two main families of modal logics of belief change, both based on plausibility pre-orders: dynamic doxastic logics computing stepwise updates, and temporal doxastic logics describing global system evolutions. Following earlier results linking dynamic-epistemic and epistemic-temporal logics, we prove representation theorems showing under which conditions a doxastic temporal model can be represented as the stepwise evolution of a doxastic model under successive ‘priority updates’. This allows for merges, where, in particular, the notion of a ’temporal protocol’ defining a global information process (for instance of communication or learning) can be introduced into the more local dynamic perspective.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

References

  1. Alchourrón, C., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. J. Symb. Log. 50(2), 510–530 (1985)

    Article  MATH  Google Scholar 

  2. Baltag, A., Moss, L.S.: Logics for Epistemic Programs. Synthese 139(2), 165–224 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  3. Baltag, A., Smets, S.: Dynamic Belief Revision over Multi-agent Plausibility Models. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) LOFT 2006, University of Liverpool, pp. 11–24 (2006)

    Google Scholar 

  4. Baltag, A., Smets, S.: A Qualitative Theory of Dynamic Interactive Belief Revision. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) LOFT 2006. Texts in Logic and Games, vol. 3, pp. 9–58. Amsterdam University Press (2008)

    Google Scholar 

  5. Baltag, A., Smets, S., Zvesper, J.A.: When All is Done but Not (Yet) Said: Dynamic Rationality in Extensive Games. In: van Benthem, J., Pacuit, E. (eds.) Proceedings of Workshop on Logic and Intelligent Interaction, ESSLLI (2008)

    Google Scholar 

  6. van Benthem, J.: Games in Dynamic Epistemic Logic. Bull. Econ. Res. 53(4), 219–248 (2001)

    Article  MathSciNet  Google Scholar 

  7. van Benthem, J.: Dynamic Logics for Belief Change. J. Appl. Non-Class. Log. 17(2), 129–155 (2007)

    Article  MATH  Google Scholar 

  8. van Benthem, J.: Logical Dynamics of Information Flow and Interaction. Cambridge University Press, Cambridge (to appear)

    Google Scholar 

  9. van Benthem, J., Dégremont, C.: Building bridges between dynamic and temporal doxastic logics. ILLC Publications PP-2008-17. Universiteit van Amsterdam (2008)

    Google Scholar 

  10. van Benthem, J., van Eijck, J., Kooi, B.P.: Logics of communication and change. Inform. Comput. 204(11), 1620–1662 (2006)

    Article  MATH  Google Scholar 

  11. van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging Frameworks for Interaction: DEL and ETL. J. Philos. Log. (2009)

    Google Scholar 

  12. van Benthem, J., Pacuit, E.: The Tree of Knowledge in Action: Towards a Common Perspective. In: Governatori, G., Hodkinson, I., Venema, Y. (eds.) AiML 6, pp. 87–106. College Publications (2006)

    Google Scholar 

  13. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  14. Board, O.: Dynamic interactive epistemology. Games Econ. Behav. 49, 49–80 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  15. Bonanno, G.: Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic. Artif. Intell. 171(2-3), 144–160 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  16. Dégremont, C.: Logics of Information and Interaction. Ph.D. thesis, Universiteit van Amsterdam (2010); ILLC Publications DS-2010-03

    Google Scholar 

  17. Dégremont, C., Gierasimczuk, N.: Can Doxastic Agents Learn? On the Temporal Structure of Learning. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS, vol. 5834, pp. 90–104. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  18. van Ditmarsch, H.: Prolegomena to Dynamic Logic for Belief Revision. Synthese 147, 229–275 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  19. Eliaz, K., Ok, E.A.: Indifference or Indecisiveness? Choice-theoretic Foundations of Incomplete Preferences. Games Econ. Behav. 56(1), 61–86 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  20. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  21. Friedman, N., Halpern, J.Y.: Modeling Belief in Dynamic Systems, part I: Foundations. Artif. Intell. 95(2), 257–316 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  22. Kelly, K.T.: The Learning Power of Belief Revision. In: Gilboa, I. (ed.) TARK 1998, pp. 111–124. Morgan Kaufmann, San Francisco (1998)

    Google Scholar 

  23. Liu, F.: Changing for the Better: Preference Dynamics and Agent Diversity. Ph.D. thesis, Universiteit van Amsterdam (2008); ILLC Publications DS-2008-02

    Google Scholar 

  24. Martin, E., Osherson, D.: Elements of Scientific Inquiry. MIT Press, Cambridge (1998)

    Google Scholar 

  25. Parikh, R., Ramanujam, R.: A Knowledge Based Semantics of Messages. J. Log. Lang. Inf. 12(4), 453–467 (2003)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE, Amsterdam, The Netherlands

    Johan van Benthem & Cédric Dégremont

  2. Department of Philosophy, Stanford University, Stanford, CA, 94305, United States of America

    Johan van Benthem

Authors
  1. Johan van Benthem
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cédric Dégremont
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Economics, University of California, One Shields Avenue, 95616-8578, Davis, CA, USA

    Giacomo Bonanno

  2. Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, P.O. Box 94242, 1090 GE, Amsterdam, The Netherlands

    Benedikt Löwe

  3. Department of Computer Science, University of Liverpool, L69 7ZF, Liverpool, UK

    Wiebe van der Hoek

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Benthem, J., Dégremont, C. (2010). Bridges between Dynamic Doxastic and Doxastic Temporal Logics. In: Bonanno, G., Löwe, B., van der Hoek, W. (eds) Logic and the Foundations of Game and Decision Theory – LOFT 8. LOFT 2008. Lecture Notes in Computer Science(), vol 6006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15164-4_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15164-4_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15163-7

  • Online ISBN: 978-3-642-15164-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation