Algebrazibilidad de Lógicas Bimodales.

Author: Carlos C. Martínez
December 1997.


The principal idea of this work is to examine bimodal logics from the point of view of the algebrizability of deductive systems theory developed by W.J.Blok and D. Pigozzi in their work “Algebrizable Logics”. The algebraic counterpart of these logics is bimodal algebras; in this context we will discuss the instance of bitopological spaces. Finally, we will give examples of bimodal logics, that is, deontic logics, temporal logics and logics of inaccessible worlds.

Magíster Thesis for Matemáticas, Facultad de Matemáticas, Pontificia Universidad Católica de Chile, Santiago.

© 2012 Carlos C. Martínez | Generated by webgen