| Publication | Date of Publication | Type |
|---|
On Kripke completeness of modal predicate logics around quantified \textbf{K5}
Annals of Pure and Applied Logic | 2022-12-08 | Paper |
Segerberg Squares of Modal Logics and Theories of Relation Algebras
Larisa Maksimova on Implication, Interpolation, and Definability | 2020-02-05 | Paper |
On Kripke completeness of some modal predicate logics with the density axiom
| 2019-07-24 | Paper |
Canonical filtrations and local tabularity
| 2018-04-23 | Paper |
Local tabularity without transitivity
| 2018-04-23 | Paper |
Bisimulation games and locally tabular logics
Russian Mathematical Surveys | 2017-03-03 | Paper |
Derivational modal logics with the difference modality
Leo Esakia on Duality in Modal and Intuitionistic Logics | 2015-06-19 | Paper |
Products of modal logics and tensor products of modal algebras
Journal of Applied Logic | 2014-11-20 | Paper |
On squares of modal logics with additional connectives
Proceedings of the Steklov Institute of Mathematics | 2014-08-04 | Paper |
On modal logics of Hamming spaces
| 2014-06-11 | Paper |
Squares of modal logics with additional connectives
Russian Mathematical Surveys | 2012-12-17 | Paper |
On neighbourhood semantics thirty years later
| 2011-07-06 | Paper |
Quantification in nonclassical logic. Volume I.
Studies in Logic and the Foundations of Mathematics | 2009-10-08 | Paper |
Completeness and incompleteness in first-order modal logic: an overview
| 2008-07-01 | Paper |
Filtration via bisimulation
| 2006-08-15 | Paper |
Modal Logics of Regions and Minkowski Spacetime
Journal Of Logic And Computation | 2005-10-18 | Paper |
scientific article; zbMATH DE number 2196602 (Why is no real title available?)
| 2005-08-22 | Paper |
scientific article; zbMATH DE number 2079045 (Why is no real title available?)
| 2004-07-21 | Paper |
Products of modal logics. III. Products of modal and temporal logics
Studia Logica | 2003-03-12 | Paper |
« Everywhere » and « here »
Journal of Applied Non-Classical Logics | 2002-09-25 | Paper |
Products of modal logics, part 1
Logic Journal of the IGPL | 2000-07-30 | Paper |
Products of modal logics. Part 2: relativised quantifiers in classical logic
Logic Journal of the IGPL | 2000-07-27 | Paper |
scientific article; zbMATH DE number 1215471 (Why is no real title available?)
| 1999-05-17 | Paper |
scientific article; zbMATH DE number 757644 (Why is no real title available?)
| 1995-05-23 | Paper |
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
Annals of Pure and Applied Logic | 1994-08-28 | Paper |
Undecidability of modal and intermediate first-order logics with two individual variables
Journal of Symbolic Logic | 1994-01-19 | Paper |
scientific article; zbMATH DE number 218502 (Why is no real title available?)
| 1993-06-29 | Paper |
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
Studia Logica | 1990-01-01 | Paper |
Logics of some Kripke frames connected with Medvedev notion of informational types
Studia Logica | 1986-01-01 | Paper |
Modal logics of domains on the real plane
Studia Logica | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3786733 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3790407 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3711943 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3685452 (Why is no real title available?)
| 1979-01-01 | Paper |
Two-dimensional modal logic
Mathematical Notes | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3639590 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3648683 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3596801 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3639591 (Why is no real title available?)
| 1977-01-01 | Paper |
A Remark on M. K. Rennie's Paper “Models for Multiply Modal Systems”
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1977-01-01 | Paper |
