German
Larisa Maksimova on Implication, Interpolation, and Definability
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Maksimova, Relevance and the Study of Lattices of Non-classical Logics
-
Altmetric BadgeChapter 2 A Short Scientific Autobiography
-
Altmetric BadgeChapter 3 Larisa Maksimova’s Early Contributions to Relevance Logic
-
Altmetric BadgeChapter 4 A Note on Strictly Positive Logics and Word Rewriting Systems
-
Altmetric BadgeChapter 5 Characteristic Formulas Over Intermediate Logics
-
Altmetric BadgeChapter 6 A Generalization of Maksimova’s Criterion for the Disjunction Property
-
Altmetric BadgeChapter 7 Rasiowa–Sikorski Sets and Forcing
-
Altmetric BadgeChapter 8 $$\mu $$ μ -Levels of Interpolation
-
Altmetric BadgeChapter 9 Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
-
Altmetric BadgeChapter 10 Lattice NExt S4 from the Embedding Theorem Viewpoint
-
Altmetric BadgeChapter 11 Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
-
Altmetric BadgeChapter 12 Segerberg Squares of Modal Logics and Theories of Relation Algebras
-
Altmetric BadgeChapter 13 On Algebraisation of Superintuitionistic Predicate Logics
-
Altmetric BadgeChapter 14 Dummett Logic, Irreflexive Modality and Novikov Completeness
-
Altmetric BadgeChapter 15 On Linear Logic of Knowledge and Time