3 citations · 3 across the 4 of their papers we have counts for
4 papers · 1 filter
No-Go Theorems for Data Privacy
Thomas Studer
Controlled query evaluation (CQE) is an approach to guarantee data privacy for database and knowledge base systems. CQE-systems feature a censor function that may distort the answe…
A Logic of Blockchain Updates
Kai Brünnler, Dandolo Flumini, Thomas Studer
Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchai…
Temporal Justification Logic
Samuel Bucheli, Meghdad Ghari, Thomas Studer
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification te…
Justification logic enjoys the strong finite model property
Thomas Studer
We observe that justification logic enjoys a form the strong finite model property (sometimes also called small model property). Thus we obtain decidability proofs for justificatio…