Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Studer T.

Years help

  1. 1 2011

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Justification Logic, Inference Tracking, and Data Privacy

100%
Studer T.
Logic and Logical Philosophy
|
2011
|
vol. 20
|
issue 4
297-306
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.