Pages that link to "Item:Q514087"
From MaRDI portal
The following pages link to Transparent quantification into hyperintensional objectual attitudes (Q514087):
Displaying 9 items.
- On the number of types (Q1708962) (← links)
- If structured propositions are logical procedures then how are procedures individuated? (Q2052189) (← links)
- Anatomy of a proposition (Q2052190) (← links)
- Substitution contradiction, its resolution and the Church-Rosser theorem in TIL (Q2301323) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- Qualifying Quantifying-in (Q3299527) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- Substitution inconsistencies in Transparent Intensional Logic (Q5862004) (← links)
- Counterfactual assumptions and counterfactual implications (Q6612878) (← links)
