1
by Pagliani, Piero, Chakraborty, Mihir
Published 2008
Springer Netherlands
Table of Contents: ... and Formal Information Constructions -- Pre-Topological and Topological Approximation Operators -- Frames...

2
by Esakia, Leo
Published 2019
Springer International Publishing
... hybrid that “crossbreeds” topology (Stone spaces) and order (Kripke frames), resulting in the structures...

3
Published 2014
Springer Netherlands
Table of Contents: ... -- Topological interpretations of provability logic; Lev Beklemishev and David Gabelaia -- Derivational modal...

4
Published 2022
Springer International Publishing
Table of Contents: ... algebraic logic - An introductory chapter (Josep Maria Font) -- Chapter 4. Topological duality and algebraic...