Justification Logic and History Based Computation

DOI10.1007/978-3-642-14808-8_23zbMath1286.03045OpenAlexW1527901439MaRDI QIDQ3585058

Eduardo Bonelli, Francisco Bavera

Publication date: 31 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14808-8_23

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logics of knowledge and belief (including belief change) (03B42) Combinatory logic and lambda calculus (03B40)

Related Items (7)

Intuitionistic hypothetical logic of proofs ⋮ The Logic of Uncertain Justifications ⋮ The logic of uncertain justifications ⋮ Justification logic as a foundation for certifying mobile computation ⋮ Hypothetical logic of proofs ⋮ Abstract Certification of Global Non-interference in Rewriting Logic ⋮ A Curry–Howard View of Basic Justification Logic

Uses Software

• Automath
• AProVE

This page was built for publication: Justification Logic and History Based Computation