 | 2007 |
|---|
| 14 |       | Larisa Maksimova:
On Modal Grzegorczyk Logic.
Fundam. Inform. 81(1-3): 203-210 (2007) |
| 2006 |
|---|
| 13 | | Larisa Maksimova:
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic.
Electr. Notes Theor. Comput. Sci. 165: 107-119 (2006) |
| 12 | | Larisa Maksimova:
Definability and Interpolation in Non-Classical Logics.
Studia Logica 82(2): 271-291 (2006) |
| 11 | | 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 | | Larisa Maksimova,
Andrei Voronkov:
Complexity of Some Problems in Modal and Intuitionistic Calculi.
CSL 2003: 397-412 |
| 8 | | 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 | | 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) |
