Export 4 results:
Filters: Author is Phiniki Stouppa  [Clear All Filters]
Stouppa, P.: A deep inference system for the modal logic $\mathsf S5$. Studia Logica. 85, 199-214 (2007).
Stouppa, P., Studer, T.: A formal model of data privacy. In: Virbitskaite, I. and Voronkov, A. Proceedings of Perspectives of System Informatics. pp. 401-411. Springer (2007).