Skip to main content
SpringerLink
Log in

Logical Dynamics of Evidence

  • Conference paper
Logic, Rationality, and Interaction (LORI 2011)

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

Included in the following conference series:

Abstract

Evidence is the underpinning of beliefs and knowledge. Modeling evidence for an agent requires a more fine-grained semantics than possible worlds models. We do this in the form of “neighbourhood models”, originally proposed for weak modal logics. We show how these models support natural actions of “evidence management”, ranging from update with external new information to internal rearrangement. This perspective leads to richer languages for neighborhood semantics, including modalities for new kinds of conditional evidence and conditional belief. Using these, we indicate how one can obtain relative completeness theorems for the dynamic logic of evidence-changing actions.

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
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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.

References

  1. Ågotnes, T., Alechina, N.: The dynamics of syntactic knowledge. Journal of Logic and Computation 17(1), 83–116 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  2. Andreka, H., Ryan, M., Schobbens, P.Y.: Operators and laws for combining preference relations. Journal of Logic and Computation 12(1), 13–53 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  3. Baltag, A., Smets, S.: Conditional doxastic models: A qualitative approach to dynamic belief revision. In: Mints, G., de Queiroz, R. (eds.) Proceedings of WOLLIC 2006. LNCS, vol. 165, pp. 5–21 (2006)

    Google Scholar 

  4. Baltag, A., Smets, S.: ESSLLI (2009) course: Dynamic logics for interactive belief revision (2009), Slides available at http://alexandru.tiddlyspot.com/#%5B%5BESSLLI09%20COURSE%5D%5D

  5. Boutilier, C.: Conditional Logics for Default Reasoning and Belief Revision. Ph.D. thesis, University of Toronto (1992)

    Google Scholar 

  6. Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)

    Book  MATH  Google Scholar 

  7. Demey, L.: Agreeing to Disagree in Probabilistic Dynamic Epistemic Logic. Master’s thesis, ILLC University of Amsterdam, LDC 2010-14 (2010)

    Google Scholar 

  8. Dempster, A.P.: Upper and lower probabilities induced by a multivalued mapping. Annals of Mathematical Statistics 38(2), 325–339 (1967)

    Article  MathSciNet  MATH  Google Scholar 

  9. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library. Springer, Heidelberg (2007)

    Book  MATH  Google Scholar 

  10. Fagin, R., Halpern, J.: Belief, awareness and limited reasoning. Artificial Intelligence 34, 39–76 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  11. Gerbrandy, J.: Bisimulations on Planet Kripke. Ph.D. thesis, Institute for Logic, Language and Computation, DS-1999-01 (1999)

    Google Scholar 

  12. Girard, P.: Modal Logic for Belief and Preference Change. Ph.D. thesis, ILLC University of Amsterdam Dissertation Series DS-2008-04 (2008)

    Google Scholar 

  13. Halpern, J., Pucella, R.: A logic for reasoning about evidence. Journal of AI Research 26, 1–34 (2006)

    MathSciNet  MATH  Google Scholar 

  14. Hansen, H.H.: Monotonic Modal Logic. Master’s thesis, Universiteit van Amsterdam (ILLC technical report: PP-2003-24) (2003)

    Google Scholar 

  15. Hansen, H.H., Kupke, C., Pacuit, E.: Neighbourhood structures: Bisimilarity and basic model theory. Logical Methods in Computer Science 5(2), 1–38 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  16. Hansson, S.O.: A Textbook of Belief Dynamics. Theory Change and Database Updating. Kluwer, Dordrecht (1999)

    Book  MATH  Google Scholar 

  17. Kratzer, A.: What must and can must and can mean. Linguistics and Philosophy 1, 337–355 (1977)

    Article  Google Scholar 

  18. Leitgeb, H., Segerberg, K.: Dynamic doxastic logic: why, how and where to? Synthese 155(2), 167–190 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  19. Lewis, D.: Counterfactuals. Blackwell Publishers, Oxford (1973)

    MATH  Google Scholar 

  20. Liu, F.: Reasoning about Preference Dynamics. Synthese Library, vol. 354. Springer, Heidelberg (2011)

    Book  MATH  Google Scholar 

  21. Liu, F.: A two-level perspective on preference. Journal of Philosophical Logic (to appear, 2011)

    Google Scholar 

  22. Moss, L., Parikh, R.: Topological reasoning and the logic of knowledge. In: Moses, Y. (ed.) Proceedings of TARK IV. Morgan Kaufmann, San Francisco (1992)

    Google Scholar 

  23. Nicola, R.D.: Extensional equivalences for transition systems. Acta Informatica 24, 211–237 (1987), http://dx.doi.org/10.1007/BF00264365

    Article  MathSciNet  MATH  Google Scholar 

  24. Pacuit, E.: Neighborhood semantics for modal logic: An introduction (2007), ESSLLI 2007 course notes, http://ai.stanford.edu/~epacuit/classes/

  25. Pauly, M.: Logic for Social Software. Ph.D. thesis, ILLC University of Amsterdam Dissertation Series DS 2001-10 (2001)

    Google Scholar 

  26. Plaza, J.: Logics of public communications. Synthese: Knowledge, Rationality, and Action 158(2), 165–179 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  27. Rott, H.: Change, Choice and Inference: A Study in Belief Revision and Nonmonotonic Reasoning. Oxford University Press, Oxford (2001)

    MATH  Google Scholar 

  28. Rott, H.: Shifting priorities: Simple representations for 27 iterated theory change operators. In: Lagerlund, H., Lindström, S., Sliwinski, R. (eds.) Modality Matters: Twenty-Five Essays in Honor of Krister Segerberg. Uppsala Philosophical Studies, vol. 53, pp. 359–384 (2006)

    Google Scholar 

  29. Segerberg, K.: Belief revision from the point of view of doxastic logic. Journal of the IGPL 3(4), 535–553 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  30. Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)

    MATH  Google Scholar 

  31. Shoham, Y., Leyton-Brown, K.: Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, Cambridge (2009)

    MATH  Google Scholar 

  32. Stalnaker, R.: Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy 12(02), 133–163 (1996)

    Article  Google Scholar 

  33. Su, K., Sattar, A., Governatori, G., Chen, Q.: A computationally grounded logic of knowledge, belief and certainty. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005, pp. 149–156 (2005), http://doi.acm.org/10.1145/1082473.1082496

  34. van Benthem, J.: Dynamic logic for belief revision. Journal of Applied Non-Classical Logics 14(2), 129–155 (2004)

    MathSciNet  MATH  Google Scholar 

  35. van Benthem, J.: A note on modeling theories. In: Festa, R., Aliseda, A., Peijnenburg, J. (eds.) Poznan Studies in the Philosophy of the Sciences and Humanities: Confirmation, Empirical Progress and Truth Approximation. Essays in Debate with Theo Kuipers, vol. 17, pp. 403–419 (2005)

    Google Scholar 

  36. van Benthem, J.: Merging observation and access in dynamic logic. Studies in Logic 1(1), 1–17 (2008)

    Google Scholar 

  37. van Benthem, J.: Logical Dynamics of Information Flow. Cambridge University Press, Cambridge (2011)

    Book  MATH  Google Scholar 

  38. van Benthem, J., Minică, Ş.: Toward a dynamic logic of questions. In: He, X., Horty, J.F., Pacuit, E. (eds.) LORI 2009. LNCS, vol. 5834, pp. 27–41. Springer, Heidelberg (2009), http://dx.doi.org/10.1007/978-3-642-04893-7_3

    Chapter  Google Scholar 

  39. Velazquez-Quesada, F.R.: Inference and update. Synthese (Knowledge, Rationality & Action) 169(2), 283–300 (2009)

    MathSciNet  MATH  Google Scholar 

  40. Veltman, F.: Prejudices, presuppositions and the theory of conditionals. In: Groenendijk, J., Stokhof, M. (eds.) Amsterdam Papers in Formal Grammar, vol. 1, pp. 248–281 (1976)

    Google Scholar 

  41. Zvesper, J.: Playing with Information. Ph.D. thesis, ILLC University of Amsterdam Dissertation Series DS-2010-02 (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ILLC, University of Amsterdam and Stanford University, Netherlands

    Johan van Benthem

  2. Tilburg Institute for Logic and Philosophy of Science, Netherlands

    Eric Pacuit

Authors
  1. Johan van Benthem
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eric Pacuit
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Sevilla, Camilo José Cela s/n, 41018, Sevilla, Spain

    Hans van Ditmarsch

  2. Université Paul Sabatier, IRIT, 118 Route de Narbonne, 31062, Toulouse Cedex 04, France

    Jérôme Lang

  3. Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, 510275, Guangzhou, China

    Shier Ju

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Benthem, J., Pacuit, E. (2011). Logical Dynamics of Evidence. In: van Ditmarsch, H., Lang, J., Ju, S. (eds) Logic, Rationality, and Interaction. LORI 2011. Lecture Notes in Computer Science(), vol 6953. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24130-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24130-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24129-1

  • Online ISBN: 978-3-642-24130-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation