Larisa Maksimova

According to our database, Larisa Maksimova authored at least 21 papers between 1986 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Interpolation and Beth Definability over the Minimal Logic.

Larisa Maksimova

Proceedings of the Advances in Modal Logic 9, 2012

2011

Interpolation and Definability over the Logic Gl.

Larisa Maksimova

Stud Logica, 2011

2010

Problem of restricted interpolation in superintuitionistic and some modal logics.

Larisa Maksimova

Log. J. IGPL, 2010

2007

On Modal Grzegorczyk Logic.

Larisa Maksimova

Fundam. Informaticae, 2007

2006

Projective Beth Property in Extensions of Grzegorczyk Logic.

Larisa Maksimova

Stud Logica, 2006

Definability and Interpolation in Non-Classical Logics.

Larisa Maksimova

Stud Logica, 2006

On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic.

Larisa Maksimova

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

Interpolation and Joint Consistency.

Larisa Maksimova

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2003

Complexity of some problems in positive and related calculi.

Larisa Maksimova

Theor. Comput. Sci., 2003

Complexity of Some Problems in Modal and Intuitionistic Calculi.

Larisa Maksimova, Andrei Voronkov

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Complexity of Interpolation and Related Problems in Positive Calculi.

Larisa Maksimova

J. Symb. Log., 2002

Restricted Interpolation in Modal Logics.

Larisa Maksimova

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2000

Strongly Decidable Properties of Modal and Intuitionistic Calculi.

Larisa Maksimova

Log. J. IGPL, 2000

Intuitionistic logic and implicit definability.

Larisa Maksimova

Ann. Pure Appl. Log., 2000

Projective Beth's Properties in Infinite Slice Extensions of the Modal Logic K4.

Larisa Maksimova

Proceedings of the Advances in Modal Logic 3, 2000

1999

Temporal logics of "the next" do not have the Beth property.

Larisa Maksimova

J. Appl. Non Class. Logics, 1999

1996

Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.

Larisa Maksimova

Proceedings of the Advances in Modal Logic 1, 1996

1995

On variable separation in modal and superintuitionistic logics.

Larisa Maksimova

Stud Logica, 1995

1991

Amalgamation and interpolation in normal modal logics.

Larisa Maksimova

Stud Logica, 1991

1989

Definability theorems in normal extensions of the probability logic.

Larisa L. Maksimova

Stud Logica, 1989

1986

On maximal intermediate logics with the disjunction property.

Larisa L. Maksimova

Stud Logica, 1986