Pages that link to "Item:Q1220917"
From MaRDI portal
The following pages link to Fitch-style rules for many modal logics (Q1220917):
Displaying 5 items.
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. (Q284232) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Natural deduction for modal logic with a backtracking operator (Q2516578) (← links)
- Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← links)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
