The following pages link to (Q5443925):
Displayed 7 items.
- Formal notes on the substitutional analysis of logical consequence (Q778737) (← links)
- Modal metatheory for quantified modal logic, with and without the Barcan formulas (Q1982016) (← links)
- Non-classical metatheory for non-classical logics (Q2377187) (← links)
- Tarski's staggering existential assumptions (Q2386112) (← links)
- What’s So Bad About Second-Order Logic? (Q3299536) (← links)
- Bicontextualism (Q6158340) (← links)
- Substitutional validity for modal logic (Q6187414) (← links)