Skip to main content
SpringerLink
Log in

Update as Evidence: Belief Expansion

  • Conference paper
Logical Foundations of Computer Science (LFCS 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7734))

Included in the following conference series:

Abstract

We introduce a justification logic with a novel constructor for evidence terms, according to which the new information itself serves as evidence for believing it. We provide a sound and complete axiomatization for belief expansion and minimal change and explain how the minimality can be graded according to the strength of reasoning. We also provide an evidential analog of the Ramsey axiom.

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. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2), 510–530 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  2. Artemov, S.N.: Operational modal logic. Technical Report MSI 95–29, Cornell University (December 1995)

    Google Scholar 

  3. Artemov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  4. Artemov, S.N.: Kolmogorov and Gödel’s approach to intuitionistic logic: current developments. Russian Mathematical Surveys 59(2), 203–229 (2004) (originally published in Russian)

    Google Scholar 

  5. Artemov, S.: Justified common knowledge. Theoretical Computer Science 357(1-3), 4–22 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  6. Artemov, S.: The logic of justification. The Review of Symbolic Logic 1(4), 477–513 (2008)

    Article  MATH  Google Scholar 

  7. Artemov, S.: Tracking Evidence. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 61–74. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  8. Artemov, S.N.: The Ontology of Justifications in the Logical Setting. Studia Logica 100(1-2), 17–30 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  9. Artemov, S., Kuznets, R.: Logical omniscience as a computational complexity problem. In: Heifetz, A. (ed.) TARK 2009, Stanford University, California, July 6–8, pp. 14–23. ACM (2009)

    Google Scholar 

  10. Baltag, A., Renne, B., Smets, S.: The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 168–190. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  11. Barwise, J.: Admissible Sets and Structures. Springer (1975)

    Google Scholar 

  12. Bucheli, S., Kuznets, R., Renne, B., Sack, J., Studer, T.: Justified Belief Change. In: Arrazola, X., Ponte, M. (eds.) LogKCA-10, Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, pp. 135–155. University of the Basque Country Press (2010)

    Google Scholar 

  13. Bucheli, S., Kuznets, R., Studer, T.: Justifications for common knowledge. Journal of Applied Non-Classical Logics 21(1), 35–60 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  14. Bucheli, S., Kuznets, R., Studer, T.: Partial Realization in Dynamic Justification Logic. In: Beklemishev, L.D., de Queiroz, R. (eds.) WoLLIC 2011. LNCS (LNAI), vol. 6642, pp. 35–51. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  15. Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. Journal of Computer and System Sciences (to appear)

    Google Scholar 

  16. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)

    Google Scholar 

  17. Gärdenfors, P.: Knowledge in Flux. The MIT Press (1988)

    Google Scholar 

  18. Gerbrandy, J., Groeneveld, W.: Reasoning about Information Change. Journal of Logic, Language and Information 6(2), 147–169 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  19. Kuznets, R., Studer, T.: Justifications, Ontology, and Conservativity. In: Bolander, T., Braüner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 437–458. College Publications (2012)

    Google Scholar 

  20. Mkrtychev, A.: Models for the Logic of Proofs. In: Adian, S., Nerode, A. (eds.) LFCS 1997. LNCS, vol. 1234, pp. 266–275. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  21. Renne, B.: Dynamic Epistemic Logic with Justification. PhD thesis, CUNY Graduate Center (May 2008)

    Google Scholar 

  22. Renne, B.: Evidence elimination in multi-agent justification logic. In: Heifetz, A. (ed.) TARK 2009, Stanford University, California, July 6–8, pp. 227–236. ACM (2009)

    Google Scholar 

  23. Renne, B.: Public communication in justification logic. Journal of Logic and Computation 21(6), 1005–1034 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  24. Segerberg, K.: Belief Revision From the Point of View of Doxastic Logic. Logic Journal of the IGPL 3(4), 535–553 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  25. Studer, T.: Decidability for some justification logics with negative introspection. Journal of Symbolic Logic (to appear)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik und angewandte Mathematik, Universität Bern, Bern, Switzerland

    Roman Kuznets & Thomas Studer

Authors
  1. Roman Kuznets
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Studer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science, CUNY Graduate Center, 365 Fifth Avenue, 10016, New York, NY, USA

    Sergei Artemov

  2. Department of Mathematics, Cornell University, 545 Malott Hall, 14853, Ithaca, NY, USA

    Anil Nerode

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kuznets, R., Studer, T. (2013). Update as Evidence: Belief Expansion. In: Artemov, S., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2013. Lecture Notes in Computer Science, vol 7734. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35722-0_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35722-0_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35721-3

  • Online ISBN: 978-3-642-35722-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation