Justification logic and audited computation

DOI10.1093/logcom/exv037zbMath1444.03025OpenAlexW2285121019MaRDI QIDQ4612429

Francisco Bavera, Eduardo Bonelli

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/c73d8155d8134545ccbbb3da827cca9f465aa6fc

zbMATH Keywords

modal logiclambda calculusCurry-Howard isomorphismjustification logichistory-based computation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Correct audit logging in concurrent systems

This page was built for publication: Justification logic and audited computation