The following pages link to (Q5104713):
Displaying 7 items.
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- Inquisitive logic as an epistemic logic of knowing how (Q2172829) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- Interrogative Dependencies and the Constructive Content of Inquisitive Proofs (Q2938134) (← links)
- Intuitionistic Trilattice Logics (Q3069727) (← links)
- (Q5169616) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)