The following pages link to Socratic trees (Q383562):
Displayed 8 items.
- Inferential erotetic logic meets inquisitive semantics (Q514585) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- A cut-free sequent calculus for defeasible erotetic inferences (Q2278843) (← links)
- An axiomatic account of question evocation: the propositional case (Q2422531) (← links)
- On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations (Q3305311) (← links)
- A Defeasible Calculus for Zetetic Agents (Q5013614) (← links)
- Automated Generation of Erotetic Search Scenarios (Q5278206) (← links)