Phiniki Stouppa

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Phiniki Stouppa, Thomas Studer
Data Privacy for Knowledge Bases. LFCS (2009)
Phiniki Stouppa
A Deep Inference System for the Modal Logic S5. Stud Logica 85 (2) (2007)
Phiniki Stouppa, Thomas Studer
A Formal Model of Data Privacy. Ershov Memorial Conference (2006)
Charles Stewart, Phiniki Stouppa
A Systematic Proof Theory for Several Modal Logics. Advances in Modal Logic (2004)