Statistics of Modal Access Control Logic - Axiomatization, Semantics and FOl Theorem Proving

Contact ORBilu