Presentation of proofs in modal natural deduction

DOI10.1093/LOGCOM/10.4.527zbMath0959.03012OpenAlexW2123105015MaRDI QIDQ4507491

Erika F. de Lima, Christoph Lingenfelder

Publication date: 6 December 2000

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

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

zbMATH Keywords

modal logictheorem provingproof transformationmodal natural deduction

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

This page was built for publication: Presentation of proofs in modal natural deduction