Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Studer
A Logic of Knowing Why
Synthese
Philosophy
Social Sciences
A Universal Approach to Guarantee Data Privacy
Logica Universalis
Applied Mathematics
Logic
Syntactic Cut-Elimination for Common Knowledge
Annals of Pure and Applied Logic
Logic
Common Knowledge Does Not Have the Beth Property
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Cyclic Proofs for Linear Temporal Logic
A Formal Model of Data Privacy