The following pages link to Inquisitive Semantics (Q4684343):
Displaying 31 items.
- Weak negation in inquisitive semantics (Q302218) (← links)
- A relevant logic of questions (Q829829) (← links)
- Simplifying with free choice (Q1992016) (← links)
- Inquisitive propositional dynamic logic (Q2035846) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Completeness for the classical antecedent fragment of inquisitive first-order logic (Q2071575) (← links)
- Idempotent variations on the theme of exclusive disjunction (Q2115285) (← links)
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- A simple logic of functional dependence (Q2240545) (← links)
- Proof-theoretic semantics and inquisitive logic (Q2240552) (← links)
- Supercover semantics for deontic action logic (Q2322983) (← links)
- Relevant epistemic logic with public announcements and common knowledge (Q2695524) (← links)
- Free choice in modal inquisitive logic (Q2698544) (← links)
- Deontic Conflicts and Multiple Violations (Q3455181) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- A Defeasible Calculus for Zetetic Agents (Q5013614) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC (Q5027673) (← links)
- QUESTIONS IN TWO-DIMENSIONAL LOGIC (Q5046600) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
- GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC (Q5880428) (← links)
- The logic of lexical connectives (Q6054060) (← links)
- Modified numerals and split disjunction: the first-order case (Q6078201) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)
- Does success entail ability? (Q6495244) (← links)
- Logical forms, substitutions and information types (Q6535318) (← links)
- Questions \& indexicality (Q6544532) (← links)
- Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition (Q6623814) (← links)
- Reducing contrastive knowledge (Q6651268) (← links)