Larisa Maksimova on Implication, Interpolation, and Definability

1. Maksimova, Relevance and the Study of Lattices of Non-classical Logics
Sergei Odintsov

2. A Short Scientific Autobiography
Larisa Maksimova

3. Larisa Maksimova’s Early Contributions to Relevance Logic
Katalin Bimbó, J. Michael Dunn

4. A Note on Strictly Positive Logics and Word Rewriting Systems
Lev Beklemishev

5. Characteristic Formulas Over Intermediate Logics
Alex Citkin

6. A Generalization of Maksimova’s Criterion for the Disjunction Property
Alex Citkin

7. Rasiowa–Sikorski Sets and Forcing
Janusz Czelakowski

8.




$$mu $$


μ


-Levels of Interpolation
Giovanna D’Agostino

9. Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
Anastasia Karpenko

10. Lattice NExtS4 from the Embedding Theorem Viewpoint
Alexei Muravitsky

11. Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
Vladimir V. Rybakov

12. Segerberg Squares of Modal Logics and Theories of Relation Algebras
Valentin Shehtman

13. On Algebraisation of Superintuitionistic Predicate Logics
Dmitry Tishkovsky

14. Dummett Logic, Irreflexive Modality and Novikov Completeness
Alexander Yashin

15. On Linear Logic of Knowledge and Time
Veta F. Yun

Keywords: Philosophy, Logic, Mathematical Logic and Foundations, Logics and Meanings of Programs, Analytic Philosophy, Arithmetic and Logic Structures