Algebraic Analysis Of Bimodal Intuitionistic Logics

Author: Phridoni Alshibaia
Keywords: Logic, Bimodal Logic, Heyting Algebras
Annotation:

This talk is about algebraic analysis of bimodal intuitionistic logics, which algebraic models are the variety of heyting algebras enriched by two modalities.