Modal access control logic: Axiomatization, semantics and FOL theorem proving
- Valerio Genovese
- , Daniele Rispoli
- , Dov M. Gabbay
- , Leendert Van Der Torre
- University of Luxembourg
- University of Turin
- King's College London
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
6
Scopus
citations