Justification logic, inference tracking, and data privacy

Thomas Studer

DOI: http://dx.doi.org/10.12775/LLP.2011.019


Internalization is a key property of justification logics. It states that justification logics internalize their own notion of proof which is essential 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.


justification logic; internalization; knowledge tracking, data privacy

Full Text:



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 (2001), 1: 1–36.

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

Artemov, S.N., “Tracking evidence”, pages 61–74 in: Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, A. Blass, N. Dershowitz, and W. Reisig (eds.), volume 6300 of Lecture Notes in Computer Science, Springer, 2010.

Artemov, S.N., and R. Kuznets, “Logical omniscience as a computational complexity problem”, pages 14–23 in: Theoretical Aspects of Rationality and Knowledge, Proceedings of the Twelfth Conference (TARK 2009), A. Heifetz (ed.), Stanford University, California, July 6–8, 2009. ACM.

Biskup, J., and L. Wiese, “Preprocessing for controlled query evaluation with availability policy”, Journal of Computer Security 16 (2008), 4: 477–494.

Bucheli, S., R. Kuznets, B. Renne, J. Sacks, and T. Studer, “Justified belief change”, in: Proc. of LogKCA-10, 2010.

Kuznets, R., “Self-referential justifications in epistemic logic”, Theory of Computing Systems, 46 (2010), 4: 636–661.

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.

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.

Studer, T., “Justified terminological reasoning”, in: PSI 11. Proceedings of the 8th Andrei Ershov Informatics Conference, E. Clarke, I. Virbitskaite, and A. Voronkov (eds.), LNCS, Springer (to appear).

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism