Fibred security language
From MaRDI portal
Publication:1037607
DOI10.1007/s11225-009-9201-6zbMath1181.03033MaRDI QIDQ1037607
Dov M. Gabbay, Valerio Genovese, Leendert van der Torre, Guido Boella
Publication date: 16 November 2009
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: http://orbilu.uni.lu/handle/10993/24938
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03B62: Combined logics
Related Items
Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction, A meta-model of access control in a fibred security language, A logic of argumentation for specification and verification of abstract argumentation frameworks, A Conditional Constructive Logic for Access Control and Its Sequent Calculus
Uses Software
Cites Work