The following pages link to Larisa L. Maksimova (Q918957):
Displaying 50 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
- The structure of slices over minimal logic (Q511341) (← links)
- The tabularity problem over the minimal logic (Q515492) (← links)
- Interpolation in infinitely layered extensions of provability logic (Q584241) (← links)
- Joint consistency in extensions of the minimal logic (Q606053) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- (Q647414) (redirect page) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- Temporal logics with ``the next'' operator do not have interpolation or the Beth property (Q684709) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- Interpolation in modal infinite slice logics containing the logic K4 (Q805608) (← links)
- Hybrid extensions of the minimal logic (Q820493) (← links)
- Recognizable logics (Q887647) (← links)
- Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) (Q891064) (← links)
- Negative equivalence over the minimal logic and interpolation (Q891973) (← links)
- Definability theorems in normal extensions of the provability logic (Q918958) (← links)
- Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973) (← links)
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401) (← links)
- On maximal intermediate logics with the disjunction property (Q1097260) (← links)
- Interpolation properties of superintuitionistic logics (Q1140079) (← links)
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (Q1150603) (← links)
- A classification of modal logics (Q1150604) (← links)
- Interpolation theorems in modal logics. Sufficient conditions (Q1156788) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Implication lattices (Q1215628) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Pretabular extensions of Lewis S4 (Q1222645) (← links)
- On tautologies in \(\omega^+\)-valued logic (Q1227725) (← links)
- The principle of separation of variables in propositional logics (Q1240219) (← links)
- Finite-level modal logics (Q1245106) (← links)
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras (Q1260029) (← links)
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604) (← links)
- (Q1401361) (redirect page) (← links)
- Complexity of some problems in positive and related calculi (Q1401362) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Strong decidability and strong recognizability (Q1703280) (← links)
- Strong computability of slices over the logic GL (Q1707569) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- On variable separation in modal and superintuitionistic logics (Q1896757) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- Explicit definitions of implicitly definable objects in some modal logics (Q1972816) (← links)
