Modal Access Control LogicAxiomatization, Semantics and FOL Theorem Proving

DOI10.3233/978-1-60750-676-8-114zbMath1215.68220OpenAlexW1776981110MaRDI QIDQ5392500

Leendert van der Torre, Valerio Genovese, Daniele Rispoli, Dov M. Gabbay

Publication date: 12 April 2011

Full work available at URL: https://doi.org/10.3233/978-1-60750-676-8-114

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

A Conditional Constructive Logic for Access Control and Its Sequent Calculus

Uses Software

• SPASS

This page was built for publication: Modal Access Control LogicAxiomatization, Semantics and FOL Theorem Proving