Natural deduction and semantic models of justification logic in the proof assistant Coq

DOI10.1093/JIGPAL/JZAA007zbMath1477.03032OpenAlexW3037187760MaRDI QIDQ3386915

Francisco Hernández-Quiroz, Jesús Mauricio Andrade Guzmán

Publication date: 8 January 2021

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzaa007

zbMATH Keywords

modal logicnatural deductionsoundnessjustification logic\textsc{Coq}

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Unnamed Item

This page was built for publication: Natural deduction and semantic models of justification logic in the proof assistant Coq