Normal derivability in modal logic
From MaRDI portal
Publication:5704814
DOI10.1002/malq.200410054zbMath1087.03014OpenAlexW2053856951MaRDI QIDQ5704814
Publication date: 15 November 2005
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200410054
Related Items (2)
NORMAL DERIVABILITY IN CLASSICAL NATURAL DEDUCTION ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
This page was built for publication: Normal derivability in modal logic