| |
| 2007 | ||
|---|---|---|
| 14 | EE | Larisa Maksimova: On Modal Grzegorczyk Logic. Fundam. Inform. 81(1-3): 203-210 (2007) |
| 2006 | ||
| 13 | EE | Larisa Maksimova: On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic. Electr. Notes Theor. Comput. Sci. 165: 107-119 (2006) |
| 12 | EE | Larisa Maksimova: Definability and Interpolation in Non-Classical Logics. Studia Logica 82(2): 271-291 (2006) |
| 11 | EE | Larisa Maksimova: Projective Beth Property in Extensions of Grzegorczyk Logic. Studia Logica 83(1-3): 365-391 (2006) |
| 2005 | ||
| 10 | Larisa Maksimova: Interpolation and Joint Consistency. We Will Show Them! (2) 2005: 293-306 | |
| 2003 | ||
| 9 | EE | Larisa Maksimova, Andrei Voronkov: Complexity of Some Problems in Modal and Intuitionistic Calculi. CSL 2003: 397-412 |
| 8 | EE | Larisa Maksimova: Complexity of some problems in positive and related calculi. Theor. Comput. Sci. 1(303): 171-185 (2003) |
| 2002 | ||
| 7 | Larisa Maksimova: Restricted Interpolation in Modal Logics. Advances in Modal Logic 2002: 297-312 | |
| 6 | Larisa Maksimova: Complexity of Interpolation and Related Problems in Positive Calculi. J. Symb. Log. 67(1): 397-408 (2002) | |
| 2000 | ||
| 5 | Larisa Maksimova: Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4. Advances in Modal Logic 2000: 349-363 | |
| 4 | Larisa Maksimova: Intuitionistic logic and implicit definability. Ann. Pure Appl. Logic 105(1-3): 83-102 (2000) | |
| 3 | EE | Larisa Maksimova: Strongly Decidable Properties of Modal and Intuitionistic Calculi. Logic Journal of the IGPL 8(6): (2000) |
| 1999 | ||
| 2 | Larisa Maksimova: Temporal logics of "the next" do not have the Beth property. Journal of Applied Non-Classical Logics 1(1): (1999) | |
| 1995 | ||
| 1 | Larisa Maksimova: On variable separation in modal and superintuitionistic logics. Studia Logica 55(1): 99-112 (1995) | |
| 1 | Andrei Voronkov | [9] |