Pages that link to "Item:Q4135463"
From MaRDI portal
The following pages link to Quantifiers vs. Quantification Theory (Q4135463):
Displaying 27 items.
- Hintikka on the foundations of mathematics: IF logic and uniformity concepts (Q253125) (← links)
- Exploring the beta quadrant (Q513919) (← links)
- Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality (Q548707) (← links)
- Truth and definite truth (Q598266) (← links)
- Computational complexity of the semantics of some natural language constructions (Q598312) (← links)
- Partially-ordered (branching) generalized quantifiers: A general definition (Q676181) (← links)
- Independent set readings and generalized quantifiers (Q848211) (← links)
- Interpretation and inference with maximal referential terms (Q980945) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Partially ordered connectives and monadic monotone strict NP (Q1024818) (← links)
- Pronouns and quantifier-scope in English (Q1055756) (← links)
- On the logic of informational independence and its applications (Q1208148) (← links)
- Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information (Q1956374) (← links)
- Expressivity of imperfect information logics without identity (Q1956377) (← links)
- Compositional natural language semantics using independence friendly logic or dependence logic (Q1956381) (← links)
- Generalized quantifiers in dependence logic (Q2255198) (← links)
- Easy solutions for a hard problem? The computational complexity of reciprocals with quantificational antecedents (Q2255227) (← links)
- Hintikka and the functions of logic (Q2334655) (← links)
- Short Overview of the Development of Hintikka’s Work in Logic (Q3299569) (← links)
- Is Natural Semantics Possible?—Ordinary English, Formal Deformations-cum-Reformations and the Limits of Model Theory (Q3299572) (← links)
- Quantifiers. Hintikka and Frege on Quantification Concepts (Q3299580) (← links)
- Skolem Theory and Generalized Quantifiers (Q3511466) (← links)
- Determiners and resource situations (Q3784051) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Henkin quantifiers and the definability of truth (Q5928923) (← links)