Valerio Genovese

Available identifiers

zbMath Open genovese.valerioMaRDI QIDQ1037606

List of research outcomes

Publication	Date of Publication	Type
Countermodels from sequent calculi in multi-modal logics	2017-05-16	Paper
Logics in access control: a conditional approach	2015-01-12	Paper
Reasoning about delegation and revocation schemes in answer set programming	2014-04-01	Paper
Embedding and automating conditional logics in classical higher-order logic	2013-02-18	Paper
A conditional constructive logic for access control and its sequent calculus	2011-07-01	Paper
Higher-order coalition logic	2011-05-11	Paper
Modal access control logic. Axiomatization, semantics and FOL theorem proving	2011-04-12	Paper
A meta-model of access control in a fibred security language	2009-11-16	Paper
Fibred security language	2009-11-16	Paper

Research outcomes over time

This page was built for person: Valerio Genovese