Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319699165, 9783319699172

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_9 ◽

2018 ◽

pp. 171-183

Author(s):

Anastasia Karpenko

Keyword(s):

Modal Logics

$$\mu $$ μ -Levels of Interpolation

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_8 ◽

2018 ◽

pp. 155-170

Author(s):

Giovanna D’Agostino

Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_11 ◽

2018 ◽

pp. 219-243

Author(s):

Vladimir V. Rybakov

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic

A Note on Strictly Positive Logics and Word Rewriting Systems

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_4 ◽

2018 ◽

pp. 61-70 ◽

Cited By ~ 6

Author(s):

Lev Beklemishev

Keyword(s):

Rewriting Systems

Lattice NExtS4 from the Embedding Theorem Viewpoint

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_10 ◽

2018 ◽

pp. 185-218

Author(s):

Alexei Muravitsky

Keyword(s):

Embedding Theorem

Larisa Maksimova’s Early Contributions to Relevance Logic

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_3 ◽

2018 ◽

pp. 33-60

Author(s):

Katalin Bimbó ◽

J. Michael Dunn

Keyword(s):

Relevance Logic

Rasiowa–Sikorski Sets and Forcing

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_7 ◽

2018 ◽

pp. 117-153

Author(s):

Janusz Czelakowski

Characteristic Formulas Over Intermediate Logics

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_5 ◽

2018 ◽

pp. 71-98

Author(s):

Alex Citkin

Keyword(s):

Intermediate Logics

On Linear Logic of Knowledge and Time

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_15 ◽

2018 ◽

pp. 339-349

Author(s):

Veta F. Yun

Keyword(s):

Linear Logic ◽

Logic Of Knowledge

Dummett Logic, Irreflexive Modality and Novikov Completeness

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic ◽

10.1007/978-3-319-69917-2_14 ◽

2018 ◽

pp. 319-337

Author(s):

Alexander Yashin

Keyword(s):

Dummett Logic ◽

Novikov Completeness

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to LogicLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

$$\mu $$ μ -Levels of Interpolation

Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility

A Note on Strictly Positive Logics and Word Rewriting Systems

Lattice NExtS4 from the Embedding Theorem Viewpoint

Larisa Maksimova’s Early Contributions to Relevance Logic

Rasiowa–Sikorski Sets and Forcing

Characteristic Formulas Over Intermediate Logics

On Linear Logic of Knowledge and Time

Dummett Logic, Irreflexive Modality and Novikov Completeness

Larisa Maksimova on Implication, Interpolation, and Definability - Outstanding Contributions to Logic
Latest Publications