Pages that link to "Item:Q3410675"
From MaRDI portal
The following pages link to A new S4 classical modal logic in natural deduction (Q3410675):
Displayed 7 items.
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
- Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← links)
- On Constructive Fragments of Classical Logic (Q5213615) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)