Pages that link to "Item:Q3638296"
From MaRDI portal
The following pages link to Sound and Complete Tree-Sequent Calculus for Inquisitive Logic (Q3638296):
Displaying 6 items.
- Inquisitive dynamic epistemic logic (Q514589) (← links)
- Inquisitive logic (Q626493) (← links)
- Questions as information types (Q1708968) (← links)
- Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- Tree-sequent calculi and decision procedures for intuitionistic modal logics (Q4612431) (← links)