↓ Skip to main content
What is this page? Embed badge

Larisa Maksimova on Implication, Interpolation, and Definability

Overview of attention for book
Cover of 'Larisa Maksimova on Implication, Interpolation, and Definability'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Maksimova, Relevance and the Study of Lattices of Non-classical Logics
  3. Altmetric Badge
    Chapter 2 A Short Scientific Autobiography
  4. Altmetric Badge
    Chapter 3 Larisa Maksimova’s Early Contributions to Relevance Logic
  5. Altmetric Badge
    Chapter 4 A Note on Strictly Positive Logics and Word Rewriting Systems
  6. Altmetric Badge
    Chapter 5 Characteristic Formulas Over Intermediate Logics
  7. Altmetric Badge
    Chapter 6 A Generalization of Maksimova’s Criterion for the Disjunction Property
  8. Altmetric Badge
    Chapter 7 Rasiowa–Sikorski Sets and Forcing
  9. Altmetric Badge
    Chapter 8 $$\mu $$ μ -Levels of Interpolation
  10. Altmetric Badge
    Chapter 9 Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics
  11. Altmetric Badge
    Chapter 10 Lattice NExt S4 from the Embedding Theorem Viewpoint
  12. Altmetric Badge
    Chapter 11 Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
  13. Altmetric Badge
    Chapter 12 Segerberg Squares of Modal Logics and Theories of Relation Algebras
  14. Altmetric Badge
    Chapter 13 On Algebraisation of Superintuitionistic Predicate Logics
  15. Altmetric Badge
    Chapter 14 Dummett Logic, Irreflexive Modality and Novikov Completeness
  16. Altmetric Badge
    Chapter 15 On Linear Logic of Knowledge and Time
Attention for Chapter 11: Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility
Chapter number 11
Book title
Larisa Maksimova on Implication, Interpolation, and Definability
Published by
Springer, Cham, January 2018
DOI 10.1007/978-3-319-69917-2_11
Book ISBNs
978-3-31-969916-5, 978-3-31-969917-2
Authors

Vladimir V. Rybakov, Rybakov, Vladimir V.

View on publisher site

This page is provided by Altmetric.