Justification logic and audited computation

DOI10.1093/LOGCOM/EXV037MaRDI QIDQ4612429zbMATH OpenOpenAlexFDO

Authors 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

Curry-Howard isomorphismhistory-based computationjustification logiclambda calculusmodal logic

Mathematics Subject Classification ID

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

Recommendations

• Justification logic and history based computation
• Logics of proofs and justifications
• A Curry-Howard view of basic justification logic
• Justification logic as a foundation for certifying mobile computation
• J-Calc: a typed lambda calculus for intuitionistic justification logic

Cited in

(8)

• Explicit auditing
• Justification logic and type theory as formalizations of intuitionistic propositional logic
• Correct audit logging in concurrent systems
• J-Calc: a typed lambda calculus for intuitionistic justification logic
• A Curry-Howard view of basic justification logic
• Justification logic and history based computation
• Justification logic as a foundation for certifying mobile computation
• Strongly normalizing audited computation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4612429)