Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

Justification logic, inference tracking, and data privacy
  • Home
  • /
  • Justification logic, inference tracking, and data privacy
  1. Home /
  2. Archives /
  3. Vol. 20 No. 4 (2011) /
  4. Articles

Justification logic, inference tracking, and data privacy

Authors

  • Thomas Studer Universität Bern

DOI:

https://doi.org/10.12775/LLP.2011.019

Keywords

justification logic, internalization, knowledge tracking, data privacy

Abstract

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.

Author Biography

Thomas Studer, Universität Bern

Institut für Informatik und angewandte Mathematik

References

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).

Logic and Logical Philosophy

Downloads

  • PDF

Published

2011-12-20

How to Cite

1.
STUDER, Thomas. Justification logic, inference tracking, and data privacy. Logic and Logical Philosophy. Online. 20 December 2011. Vol. 20, no. 4, pp. 297-306. [Accessed 14 May 2025]. DOI 10.12775/LLP.2011.019.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 20 No. 4 (2011)

Section

Articles

Stats

Number of views and downloads: 473
Number of citations: 4

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

justification logic, internalization, knowledge tracking, data privacy
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop