Pages that link to "Item:Q965898"
From MaRDI portal
The following pages link to Associative substitutional semantics and quantified modal logic (Q965898):
Displayed 4 items.
- Constructive belief reports (Q514084) (← links)
- A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- RULES FOR SUBATOMIC DERIVATION (Q3094185) (← links)