4 found
  1.  23
    Heyting Algebras with Operators.Yasusi Hasimoto - 2001 - Mathematical Logic Quarterly 47 (2):187-196.
    In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answers the question posed in Wolter [4].
    Direct download  
    Export citation  
    Bookmark   2 citations  
  2.  40
    Finite model property for some intuitionistic modal logics.Yasusi Hasimoto - 2001 - Bulletin of the Section of Logic 30 (2):87-97.
  3. Normal Products of Modal Logics.Yasusi Hasimoto - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 241-255.
    No categories
    Export citation  
    Bookmark   1 citation  
  4.  9
    Products of infinitely many modal logics.Yasusi Hasimoto - 2002 - Bulletin of the Section of Logic 31 (2):103-110.