Pages that link to "Item:Q3410675"
From MaRDI portal
The following pages link to A new S4 classical modal logic in natural deduction (Q3410675):
Displaying 16 items.
- Correcting the tableau procedure for S4 (Q761443) (← links)
- A simplified natural deduction approach to certain modal systems (Q1097870) (← links)
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← 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)
- Path calculus in the modal logic S4 (Q2571516) (← links)
- On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (Q2841956) (← links)
- Normal derivability in classical natural deduction (Q2890694) (← links)
- Label-free natural deduction systems for intuitionistic and classical modal logics (Q2901201) (← links)
- A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 (Q3406694) (← links)
- (Q4941911) (← links)
- On Constructive Fragments of Classical Logic (Q5213615) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS (Q6153161) (← links)