Larisa Maksimova

Publication Activity (10 Years)

Years Active: 1991-2012
Publications (10 Years): 0

Top Topics

Finite Model Theory

Monadic Second Order Logic

Delay Insensitive

Top Venues

Advances in Modal Logic

Publications

Larisa Maksimova
Interpolation and Beth Definability over the Minimal Logic. Advances in Modal Logic (2012)
Larisa Maksimova
Interpolation and Definability over the Logic Gl. Stud Logica 99 (1-3) (2011)
Larisa Maksimova
Problem of restricted interpolation in superintuitionistic and some modal logics. Log. J. IGPL 18 (3) (2010)
Larisa Maksimova
On Modal Grzegorczyk Logic. Fundam. Informaticae 81 (1-3) (2007)
Larisa Maksimova
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic. Electron. Notes Theor. Comput. Sci. 165 (2006)
Larisa Maksimova
Projective Beth Property in Extensions of Grzegorczyk Logic. Stud Logica 83 (1-3) (2006)
Larisa Maksimova
Definability and Interpolation in Non-Classical Logics. Stud Logica 82 (2) (2006)
Larisa Maksimova
Interpolation and Joint Consistency. We Will Show Them! (2) (2005)
Larisa Maksimova
Complexity of some problems in positive and related calculi. Theor. Comput. Sci. 303 (1) (2003)
Larisa Maksimova, Andrei Voronkov
Complexity of Some Problems in Modal and Intuitionistic Calculi. CSL (2003)
Larisa Maksimova
Complexity of Interpolation and Related Problems in Positive Calculi. J. Symb. Log. 67 (1) (2002)
Larisa Maksimova
Restricted Interpolation in Modal Logics. Advances in Modal Logic (2002)
Larisa Maksimova
Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4. Advances in Modal Logic (2000)
Larisa Maksimova
Strongly Decidable Properties of Modal and Intuitionistic Calculi. Log. J. IGPL 8 (6) (2000)
Larisa Maksimova
Intuitionistic logic and implicit definability. Ann. Pure Appl. Log. 105 (1-3) (2000)
Larisa Maksimova
Temporal logics of "the next" do not have the Beth property. J. Appl. Non Class. Logics 1 (1) (1999)
Larisa Maksimova
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality. Advances in Modal Logic (1996)
Larisa Maksimova
On variable separation in modal and superintuitionistic logics. Stud Logica 55 (1) (1995)
Larisa Maksimova
Amalgamation and interpolation in normal modal logics. Stud Logica 50 (3-4) (1991)