Update as Evidence: Belief Expansion

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.

[1]  Thomas Studer,et al.  Realizing public announcements by justifications , 2014, J. Comput. Syst. Sci..

[2]  Alexandru Baltag,et al.  The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge , 2012, WoLLIC.

[3]  Sergei N. Artëmov.  Explicit provability and constructive semantics , 2001, Bull. Symb. Log..

[4]  Bryan Renne,et al.  Public communication in justification logic , 2011, J. Log. Comput..

[5]  Sergei N. Artëmov.  Tracking Evidence , 2010, Fields of Logic and Computation.

[6]  Sergei N. Artëmov.  Kolmogorov and Gödel's approach to intuitionistic logic: current developments , 2004 .

[7]  Thomas Studer,et al.  Justifications, Ontology, and Conservativity , 2012, Advances in Modal Logic.

[8]  Sergei N. Artëmov.  Justified common knowledge , 2006, Theor. Comput. Sci..

[9]  Sergei N. Artemovy.  Operational Modal Logic , 1995 .

[10]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[11]  Thomas Studer,et al.  Justifications for common knowledge , 2010, J. Appl. Non Class. Logics.

[12]  Alan Bundy,et al.  Towards Ontology Evolution in Physics , 2008, WoLLIC.

[13]  Sergei N. Artëmov,et al.  Dynamic epistemic logic with justification , 2008 .

[14]  B. Dahn.  Admissible sets and structures , 1978 .

[15]  Jelle Gerbrandy,et al.  Reasoning about Information Change , 1997, J. Log. Lang. Inf..

[16]  Alexey Mkrtychev,et al.  Models for the Logic of Proofs , 1997, LFCS.

[17]  Sergei N. Artëmov,et al.  Logical omniscience as a computational complexity problem , 2009, TARK '09.

[18]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[19]  Thomas Studer,et al.  Partial Realization in Dynamic Justification Logic , 2011, WoLLIC.

[20]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[21]  Thomas Studer.  Decidability for some justification logics with negative introspection , 2013, J. Symb. Log..

[22]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[23]  Heinrich Wansing,et al.  Advances in Modal Logic , 2002 .

[24]  Bryan Renne,et al.  Evidence elimination in multi-agent justification logic , 2009, TARK '09.

[25]  Anil Nerode,et al.  Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings , 1994, LFCS.

[26]  Sergei N. Artëmov.  THE LOGIC OF JUSTIFICATION , 2008, The Review of Symbolic Logic.

[27]  Joshua Sack,et al.  Justified belief change , 2010 .

[28]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[29]  Krister Segerberg,et al.  Belief Revision From the Point of View of Doxastic Logic , 1995, Log. J. IGPL.

[30]  Sergei N. Artëmov.  The Ontology of Justifications in the Logical Setting , 2012, Stud Logica.

[31]  Wiebe van der Hoek,et al.  Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.

[32]  Bernd Finkbeiner,et al.  Fields of Logic and Computation , 2011 .