Leo Esakia

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Heyting algebras. Duality theory. Translated from the Russian by A. Evseev	2019-02-18	Paper
Fatal Heyting algebras and forcing persistent sentences	2012-10-01	Paper
List of publications	2012-10-01	Paper
Spectral and \(T _{0}\)-spaces in d-semantics	2011-07-29	Paper
A Modal Transcription of the Hausdorff Residue	2011-07-29	Paper
K4.Grz and hereditarily irresolvable spaces	2011-05-31	Paper
The modal logic of Stone spaces: diamond as derivative	2010-04-01	Paper
The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic	2009-11-30	Paper
Around provability 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	2008-11-10	Paper
Some results on modal axiomatization and definability for topological spaces	2006-03-17	Paper
Intuitionistic logic and modality via topology	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4424659	2004-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4440790	2004-03-04	Paper
Synopsis of fronton theory	2002-06-19	Paper
Scattered toposes	2001-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4268404	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q3352997	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3735758	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3344180	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3676143	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3874173	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4193453	1977-01-01	Paper
Five critical modal systems	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4049062	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596734	1965-01-01	Paper

Research outcomes over time

This page was built for person: Leo Esakia