The following pages link to The Russell-Prawitz modality (Q2746758):
Displaying 9 items.
- The Peirce translation (Q408162) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- A Kuroda-style \(j\)-translation (Q2312092) (← links)
- The naturality of natural deduction (Q2631649) (← links)
- A pluralist approach to the formalisation of mathematics (Q3094181) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- A joint logic of problems and propositions (Q6575364) (← links)