TEST - Catálogo BURRF
   

Leo esakia on duality in modal and intuitionistic logics / edited by Guram Bezhanishvili.

Colaborador(es): Tipo de material: TextoTextoSeries Outstanding Contributions to Logic ; 4Editor: Dordrecht : Springer Netherlands : Springer, 2014Descripción: xiii, 334 páginas : 44 ilustracionesTipo de contenido:
  • texto
Tipo de medio:
  • computadora
Tipo de portador:
  • recurso en línea
ISBN:
  • 9789401788601
Formatos físicos adicionales: Edición impresa:: Sin títuloClasificación LoC:
  • BC1-199
Recursos en línea:
Contenidos:
Preface -- Introduction -- Esakia’s Biography -- Canonical extensions, Esakia spaces, and universal models; Mai Gehrke -- Free modal algebras revisited: the step-by-step method; Nick Bezhanishvili, Silvio Ghilardi, and Mamuka Jibladze -- Easkia duality and its extensions; Sergio A. Celani and Ramon Jansana -- On the Blok-Esakia Theorem; Frank Wolter and Michael Zakharyaschev -- Modal logic and the Vietoris functor; Yde Venema and Jacob Vosmaer -- Logic KM: A Biography; Alexei Muravitsky -- Constructive modalities with provability smack; Tadeusz Litak -- Cantor-Bendixson properties of the assembly of a frame; Harold Simmons -- Topological interpretations of provability logic; Lev Beklemishev and David Gabelaia -- Derivational modal logics with the difference modality; Andrey Kudinov and Valentin Shehtman -- Esakia’s Bibliography.
Valoración
    Valoración media: 0.0 (0 votos)
No hay ítems correspondientes a este registro

Springer eBooks

Preface -- Introduction -- Esakia’s Biography -- Canonical extensions, Esakia spaces, and universal models; Mai Gehrke -- Free modal algebras revisited: the step-by-step method; Nick Bezhanishvili, Silvio Ghilardi, and Mamuka Jibladze -- Easkia duality and its extensions; Sergio A. Celani and Ramon Jansana -- On the Blok-Esakia Theorem; Frank Wolter and Michael Zakharyaschev -- Modal logic and the Vietoris functor; Yde Venema and Jacob Vosmaer -- Logic KM: A Biography; Alexei Muravitsky -- Constructive modalities with provability smack; Tadeusz Litak -- Cantor-Bendixson properties of the assembly of a frame; Harold Simmons -- Topological interpretations of provability logic; Lev Beklemishev and David Gabelaia -- Derivational modal logics with the difference modality; Andrey Kudinov and Valentin Shehtman -- Esakia’s Bibliography.

Para consulta fuera de la UANL se requiere clave de acceso remoto.

Universidad Autónoma de Nuevo León
Secretaría de Extensión y Cultura - Dirección de Bibliotecas @
Soportado en Koha