Pages that link to "Item:Q2176408"
From MaRDI portal
The following pages link to Questions and dependency in intuitionistic logic (Q2176408):
Displaying 6 items.
- A relevant logic of questions (Q829829) (← links)
- Inquisitive Heyting algebras (Q2062213) (← links)
- Completeness for the classical antecedent fragment of inquisitive first-order logic (Q2071575) (← links)
- On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
- Inquisitive logic as an epistemic logic of knowing how (Q2172829) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
