Natural deduction in normal modal logic

DOI10.1305/ndjfl/1093635420zbMath0737.03004OpenAlexW2058117811MaRDI QIDQ1813231

John Hawthorn

Publication date: 25 June 1992

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635420

zbMATH Keywords

natural deductionnormal modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs