Justification Logic, Inference Tracking, and Data Privacy

• Authors: Thomas Studer
• Languages of publication: EN

Abstracts

EN

Internalization is a key property of justification logics. It states that justification logics internalize their own notion of proof which is essen- tial for the proof of the realization theorem. The aim of this note is to show how to make use of internalization to track where an agent’s knowledge comes from and how to apply this to the problem of data privacy.

Keywords

EN

justification logic; internalization; knowledge tracking; data privacy

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2011
• Volume: 20
• Issue: 4
• Pages: 297-306

Dates

published

2011-12-01

online

2013-07-02

Contributors

author

Thomas Studer

• Institut fur Informatik und angewandte Mathematik Universitat Bern Neubruckstrasse 10 CH-3012 Bern, Switzerland

References

• [1] Artemov, S.N., “Operational modal logic”, Technical Report MSI 95-29, Cornell University, December 1995.
• [2] Artemov, S.N., “Explicit provability and constructive semantics”, Bul-letin of Symbolic Logic 7 (2001), 1: 1-36.
• [3] Artemov, S.N., “The logic of justification”, The Review of Symbolic Logic 1 (2008), 4: 477-513.
• [4] Artemov, S.N., “Tracking evidence”, pages 61-74 in: Fields of Logic andComputation, Essays Dedicated to Yuri Gurevich on the Occasion of His70th Birthday, A. Blass, N. Dershowitz, andW. Reisig (eds.), volume 6300 of Lecture Notes in Computer Science, Springer, 2010.
• [5] Artemov, S.N., and R. Kuznets, “Logical omniscience as a computational complexity problem”, pages 14-23 in: Theoretical Aspects of Rational-ity and Knowledge, Proceedings of the Twelfth Conference (TARK 2009), A. Heifetz (ed.), Stanford University, California, July 6-8, 2009. ACM.
• [6] Biskup, J., and L. Wiese, “Preprocessing for controlled query evaluation with availability policy”, Journal of Computer Security 16 (2008), 4: 477-494.
• [7] Bucheli, S., R. Kuznets, B. Renne, J. Sacks, and T. Studer, “Justified belief change”, in: Proc. of LogKCA-10, 2010.
• [8] Kuznets, R., “Self-referential justifications in epistemic logic”, Theory ofComputing Systems, 46 (2010), 4: 636-661.[WoS]
• [9] Stoffel, K., and T. Studer, “Provable data privacy”, pages 324-332 in: DEXA 2005, K. Viborg, J. Debenham, and R. Wagner (eds.), volume 3588 of LNCS, Springer, 2005.
• [10] Stouppa, P., and T. Studer, “Data privacy for ALC knowledge bases”, pages 409-421 in: LFCS 2009, S. Artemov and A. Nerode (eds.) volume 5407 of LNCS, Springer, 2009.
• [11] Studer, T., “Justified terminological reasoning”, in: PSI 11. Proceedings ofthe 8th Andrei Ershov Informatics Conference, E. Clarke, I. Virbitskaite, and A. Voronkov (eds.), LNCS, Springer (to appear).

Identifiers

DOI

10.12775/LLP.2011.019