Przejdź do sekcji głównej Przejdź do głównego menu Przejdź do stopki
  • Zarejestruj
  • Zaloguj
  • Język
    • English
    • Język Polski
  • Menu
  • Strona domowa
  • Aktualny numer
  • Archiwum
  • Prace online
  • O czasopiśmie
    • O czasopiśmie
    • Przesyłanie tekstów
    • Zespół redakcyjny
    • Rada redakcyjna
    • Proces recenzji
    • Komitet Logic and Logical Philosophy
    • Polityka Open Access
    • Polityka prywatności
    • Kontakt
  • Zarejestruj
  • Zaloguj
  • Język:
  • English
  • Język Polski

Logic and Logical Philosophy

Justification logic, inference tracking, and data privacy
  • Strona domowa
  • /
  • Justification logic, inference tracking, and data privacy
  1. Strona domowa /
  2. Archiwum /
  3. Tom 20 Nr 4 (2011) /
  4. Artykuły

Justification logic, inference tracking, and data privacy

Autor

  • Thomas Studer Department of Logic, Nicolaus Copernicus University

DOI:

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

Słowa kluczowe

justification logic, internalization, knowledge tracking, data privacy

Abstrakt

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.

Biogram autora

Thomas Studer - Department of Logic, Nicolaus Copernicus University

Institut für Informatik und angewandte Mathematik

Bibliografia

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

Pobrania

  • PDF (English)

Opublikowane

20.12.2011

Jak cytować

1.
STUDER, Thomas. Justification logic, inference tracking, and data privacy. Logic and Logical Philosophy [online]. 20 grudzień 2011, T. 20, nr 4, s. 297–306. [udostępniono 6.7.2025]. DOI 10.12775/LLP.2011.019.
  • PN-ISO 690 (Polski)
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Pobierz cytowania
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Numer

Tom 20 Nr 4 (2011)

Dział

Artykuły

Statystyki

Liczba wyświetleń i pobrań: 525
Liczba cytowań: 4

Crossref
Scopus
Google Scholar
Europe PMC

Wyszukiwanie

Wyszukiwanie

Przeglądaj

  • Indeks autorów
  • Lista archiwalnych numerów

Użytkownik

Użytkownik

Aktualny numer

  • Logo Atom
  • Logo RSS2
  • Logo RSS1

Informacje

  • dla czytelników
  • dla autorów
  • dla bibliotekarzy

Newsletter

Zapisz się Wypisz się

Język / Language

  • English
  • Język Polski

Tagi

Szukaj przy pomocy tagu:

justification logic, internalization, knowledge tracking, data privacy
W górę

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partnerzy platformy czasopism

  • 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- Uniwersytet Mikołaja Kopernika w Toruniu Deklaracja dostępności Sklep wydawnictwa