The following pages link to (Q3902952):
Displaying 9 items.
- Formal semantics and applied mathematics: an inferential account (Q783675) (← links)
- Structured anaphora to quantifier domains (Q964496) (← links)
- Interpretation and inference with maximal referential terms (Q980945) (← links)
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- Incremental interpretation (Q1182169) (← links)
- In conjunction with qualitative probability (Q1295377) (← links)
- Dynamic squares (Q1902558) (← links)
- On the identification of quantifiers' witness sets: a study of multi-quantifier sentences (Q2255233) (← links)
- Fatalism and the logic of unconditionals (Q6495233) (← links)
