The following pages link to (Q4811767):
Displaying 17 items.
- Erotetic search scenarios and three-valued logic (Q302229) (← links)
- Socratic trees (Q383562) (← links)
- Inferential erotetic logic meets inquisitive semantics (Q514585) (← links)
- The interrogative model of inquiry meets dynamic epistemic logics (Q514587) (← links)
- On the semantics and logic of declaratives and interrogatives (Q514591) (← links)
- Socratic proofs and paraconsistency: A case study (Q813092) (← links)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) (← links)
- Socratic proofs (Q1876085) (← links)
- Socratic proofs for quantifiers (Q2499290) (← links)
- Generating cooperative question-responses by means of erotetic search scenarios (Q2987728) (← links)
- Epistemic Erotetic Search Scenarios (Q3121969) (← links)
- Answering by Means of Questions in View of Inferential Erotetic Logic (Q3295794) (← links)
- IEL-based Formal Dialogue System for Tutorials (Q4568329) (← links)
- Erotetic Epistemic Logic (Q4568331) (← links)
- The Method of Socratic Proofs Meets Correspondence Analysis (Q5241406) (← links)
- Being Permitted, Inconsistencies, and Question Raising (Q5241537) (← links)
- Four‐node semi‐EAS element in six‐field nonlinear theory of shells (Q5435378) (← links)
