Justification logic, inference tracking, and data privacy

Logic and Logical Philosophy 20 (4):297-306 (2011)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.12775/llp.2011.019

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Universal Approach to Guarantee Data Privacy.Thomas Studer - 2013 - Logica Universalis 7 (2):195-209.
Informational privacy, data mining, and the internet.Herman T. Tavani - 1999 - Ethics and Information Technology 1 (2):137-145.
KDD, data mining, and the challenge for normative privacy.Herman T. Tavani - 1999 - Ethics and Information Technology 1 (4):265-273.
Privacy by design: delivering the promises. [REVIEW]Peter Hustinx - 2010 - Identity in the Information Society 3 (2):253-255.
Statistics as Inductive Inference.Jan-Willem Romeijn - unknown
Privacy in (mobile) telecommunications services.Jacques Penders - 2004 - Ethics and Information Technology 6 (4):247-260.
On nonparametric predictive inference and objective bayesianism.F. P. A. Coolen - 2006 - Journal of Logic, Language and Information 15 (1-2):21-47.
A persistent data tracking mechanism for user-centric identity governance.Hidehito Gomi - 2010 - Identity in the Information Society 3 (3):639-656.
Cross domain inference and problem embedding.Robert C. Cummins - 1992 - In Robert E. Cummins & John L. Pollock (eds.), Philosophy and AI: Essays at the Interface. MIT Press.
The Particularized Judgment Account of Privacy.Alan Rubel - 2011 - Res Publica 17 (3):275-290.
We Can Be in Harmony With Classical Logic.Michael Gabbay - unknown
“Lost in Translation”?: Intercultural Dialogues on Privacy and Information Ethics. [REVIEW]Charles Ess - 2005 - Ethics and Information Technology 7 (1):1-6.

Analytics

Added to PP
2013-10-29

Downloads
405 (#46,647)

6 months
23 (#113,123)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Logic of Uncertain Justifications.Robert S. Milnikel - 2014 - Annals of Pure and Applied Logic 165 (1):305-315.

Add more citations

References found in this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.

Add more references