Justification logic, inference tracking, and data privacy

MaRDI QIDQ4904077zbMATH OpenFDO

Authors Thomas Studer

Publication date 28 January 2013

zbMATH Keywords

data privacyjustification logicinternalizationknowledge tracking

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Justified terminological reasoning
• Justification logic. Reasoning with reasons
• Justification logic and history based computation
• scientific article; zbMATH DE number 6389528
• Partial realization in dynamic justification logic

Cited in

(3)

• The logic of uncertain justifications
• Tracking reasons with extensions of relevant logics
• Distributed knowledge justification logics

This page was built for publication: Justification logic, inference tracking, and data privacy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4904077)