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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
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)
Artemov, S.N.: Operational modal logic. Technical Report MSI 95–29, Cornell University (December 1995)
Artemov, S.N.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7(1), 1–36 (2001)
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)
Artemov, S.: Justified common knowledge. Theoretical Computer Science 357(1-3), 4–22 (2006)
Artemov, S.: The logic of justification. The Review of Symbolic Logic 1(4), 477–513 (2008)
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)
Artemov, S.N.: The Ontology of Justifications in the Logical Setting. Studia Logica 100(1-2), 17–30 (2012)
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)
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)
Barwise, J.: Admissible Sets and Structures. Springer (1975)
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)
Bucheli, S., Kuznets, R., Studer, T.: Justifications for common knowledge. Journal of Applied Non-Classical Logics 21(1), 35–60 (2011)
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)
Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. Journal of Computer and System Sciences (to appear)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)
Gärdenfors, P.: Knowledge in Flux. The MIT Press (1988)
Gerbrandy, J., Groeneveld, W.: Reasoning about Information Change. Journal of Logic, Language and Information 6(2), 147–169 (1997)
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)
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)
Renne, B.: Dynamic Epistemic Logic with Justification. PhD thesis, CUNY Graduate Center (May 2008)
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)
Renne, B.: Public communication in justification logic. Journal of Logic and Computation 21(6), 1005–1034 (2011)
Segerberg, K.: Belief Revision From the Point of View of Doxastic Logic. Logic Journal of the IGPL 3(4), 535–553 (1995)
Studer, T.: Decidability for some justification logics with negative introspection. Journal of Symbolic Logic (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)