The following pages link to Socratic trees (Q383562):
Displaying 13 items.
- Inferential erotetic logic meets inquisitive semantics (Q514585) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- Tree proofs for syllogistic (Q918950) (← links)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) (← 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)
- A formal account of Socratic-style argumentation (Q2480967) (← links)
- On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations (Q3305311) (← links)
- Intuitionistic Socratic procedures (Q3647238) (← links)
- A Defeasible Calculus for Zetetic Agents (Q5013614) (← links)
- Automated Generation of Erotetic Search Scenarios (Q5278206) (← links)
- Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs (Q5384363) (← links)
