Pages that link to "Item:Q1679793"
From MaRDI portal
The following pages link to Labelled sequent calculus for inquisitive logic (Q1679793):
Displaying 7 items.
- Completeness for the classical antecedent fragment of inquisitive first-order logic (Q2071575) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- A Multi-type Calculus for Inquisitive Logic (Q2820696) (← links)
- A Focused Sequent Calculus for Higher-Order Logic (Q3192181) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187857) (← links)
- Sequent Calculus for Intuitionistic Epistemic Logic IEL (Q5283428) (← links)
- Labeled Sequent Calculus for Orthologic (Q5742614) (← links)