Shear, Ted; Quiggin, John Justification logic with confidence. (English) Zbl 1476.03016 Stud. Log. 108, No. 4, 751-778 (2020). Reviewer: Alex Citkin (Warren) MSC: 03B42 03B45 PDFBibTeX XMLCite \textit{T. Shear} and \textit{J. Quiggin}, Stud. Log. 108, No. 4, 751--778 (2020; Zbl 1476.03016) Full Text: DOI
Barker, Steve; Boella, Guido; Gabbay, Dov M.; Genovese, Valerio A meta-model of access control in a fibred security language. (English) Zbl 1181.03031 Stud. Log. 92, No. 3, 437-477 (2009). MSC: 03B70 03B45 03B62 PDFBibTeX XMLCite \textit{S. Barker} et al., Stud. Log. 92, No. 3, 437--477 (2009; Zbl 1181.03031) Full Text: DOI Link