Fitch-style rules for many modal logics

DOI10.1305/NDJFL/1093888133zbMath0315.02028OpenAlexW2074674636MaRDI QIDQ1220917

David F. jun. Siemens

Publication date: 1976

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

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

Mathematics Subject Classification ID

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

Related Items (4)

Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. ⋮ Label-free natural deduction systems for intuitionistic and classical modal logics ⋮ Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Natural deduction for modal logic with a backtracking operator

This page was built for publication: Fitch-style rules for many modal logics