# Search results for: Dorota Leszczyńska-Jasion

Bulletin of the Section of Logic > 2019 > 48 > 2 > 99-116

Studia Logica > 2019 > 107 > 2 > 313-349

Journal of Logic, Language and Information > 2016 > 25 > 1 > 51-76

Logic and Logical Philosophy > 2015 > 24 > 1 > 61–78

Studia Logica > 2015 > 103 > 6 > 1245-1278

Studia Logica > 2013 > 101 > 5 > 959-986

Journal of Philosophical Logic > 2009 > 38 > 2 > 151-177

**K4**,

**S4**and

**S5**. We prove that the procedure terminates and that it is sound and complete. The procedure is based on the method of Socratic proofs for modal logics, which is grounded in the logic of questions

**IEL**.

Studia Logica > 2008 > 89 > 3 > 365-399

**K5**,

**S4.2**,

**S4.3**,

**S4M**,

**S4F**,

**S4R**and

**G**. This work is an extension of [10] where the method was presented for the most common modal propositional logics:

**K**,

**D**,

**T**,

**KB**,

**K4**,

**S4**and

**S5**.