| Publication | Date of Publication | Type |
|---|
Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
Trends in Logic -- Studia Logica Library | 2019-02-18 | Paper |
Fatal Heyting algebras and forcing persistent sentences
Studia Logica | 2012-10-01 | Paper |
List of publications
Studia Logica | 2012-10-01 | Paper |
Spectral and \(T _{0}\)-spaces in d-semantics
Logic, Language, and Computation | 2011-07-29 | Paper |
A Modal Transcription of the Hausdorff Residue
Logic, Language, and Computation | 2011-07-29 | Paper |
K4.Grz and hereditarily irresolvable spaces
| 2011-05-31 | Paper |
The modal logic of Stone spaces: diamond as derivative
The Review of Symbolic Logic | 2010-04-01 | Paper |
The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Around provability logic
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
A topological interpretation of provability predicate in Peano arithmetic and Zermelo-Fraenkel set theory
| 2008-12-01 | Paper |
Formulas of one propositional variable in intuitionistic logic with the Solovay modality
Logic and Logical Philosophy | 2008-11-10 | Paper |
Some results on modal axiomatization and definability for topological spaces
Studia Logica | 2006-03-17 | Paper |
Intuitionistic logic and modality via topology
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
scientific article; zbMATH DE number 1975416 (Why is no real title available?)
| 2004-03-04 | Paper |
scientific article; zbMATH DE number 2020141 (Why is no real title available?)
| 2004-03-04 | Paper |
Synopsis of fronton theory
| 2002-06-19 | Paper |
Scattered toposes
Annals of Pure and Applied Logic | 2001-05-28 | Paper |
scientific article; zbMATH DE number 1354095 (Why is no real title available?)
| 1999-10-28 | Paper |
scientific article; zbMATH DE number 4204315 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 3968648 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3877153 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3896930 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3677799 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3632465 (Why is no real title available?)
| 1977-01-01 | Paper |
Five critical modal systems
Theoria | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3463628 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3316870 (Why is no real title available?)
| 1965-01-01 | Paper |
