scientific article; zbMATH DE number 2096989
From MaRDI portal
Publication:4811767
zbMath1045.03508MaRDI QIDQ4811767
Publication date: 6 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
Socratic proofs ⋮ Erotetic search scenarios and three-valued logic ⋮ IEL-based Formal Dialogue System for Tutorials ⋮ Erotetic Epistemic Logic ⋮ Socratic trees ⋮ Generating cooperative question-responses by means of erotetic search scenarios ⋮ Answering by Means of Questions in View of Inferential Erotetic Logic ⋮ Inferential erotetic logic meets inquisitive semantics ⋮ The interrogative model of inquiry meets dynamic epistemic logics ⋮ On the semantics and logic of declaratives and interrogatives ⋮ Four‐node semi‐EAS element in six‐field nonlinear theory of shells ⋮ Socratic proofs for quantifiers ⋮ The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. ⋮ The Method of Socratic Proofs Meets Correspondence Analysis ⋮ Being Permitted, Inconsistencies, and Question Raising ⋮ Epistemic Erotetic Search Scenarios ⋮ Socratic proofs and paraconsistency: A case study
This page was built for publication:
