Pages that link to "Item:Q2938134"
From MaRDI portal
The following pages link to Interrogative Dependencies and the Constructive Content of Inquisitive Proofs (Q2938134):
Displaying 6 items.
- On the semantics and logic of declaratives and interrogatives (Q514591) (← links)
- Propositional inquisitive logic: a survey (Q1650365) (← links)
- Questions as information types (Q1708968) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Proof-theoretic semantics and inquisitive logic (Q2240552) (← links)
- Dependency as Question Entailment (Q5213645) (← links)