Verification logic

DOI10.1093/LOGCOM/EXX027zbMath1444.03169OpenAlexW4231767795MaRDI QIDQ4555452

David Fernández-Duque, Juan P. Aguilera

Publication date: 20 November 2018

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

Full work available at URL: https://doi.org/10.1093/logcom/exx027

zbMATH Keywords

justification logicnegative introspectionarithmetical interpretationverification logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Verification logic