scientific article; zbMATH DE number 2213621

zbMath1078.03016MaRDI QIDQ5695175

Dorota Leszczyńska

Publication date: 11 October 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Related Items (10)

Socratic trees ⋮ Dual erotetic calculi and the minimal \(\mathsf{LFI}\) ⋮ FRACTIONAL-VALUED MODAL LOGIC ⋮ Generating cooperative question-responses by means of erotetic search scenarios ⋮ Answering by Means of Questions in View of Inferential Erotetic Logic ⋮ On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations ⋮ A loop-free decision procedure for modal propositional logics K4, S4 and S5 ⋮ 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

This page was built for publication: