@article(BlochJANCL2002,
 author       = {I. Bloch},
 year         = {2002},
 title        = {Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning},
 journal      = {Journal of Applied Non-Classical Logics},
 volume       = {12},
 number       = {3--4},
 pages        = {399--423},
 doi          = {10.3166/jancl.12.399-423},
)
@article(CelaniJanasa1997,
 author       = {S. Celani and R. Jansana},
 year         = {1997},
 title        = {A new semantics for positive modal logic},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {38},
 number       = {1},
 pages        = {1--19},
 doi          = {10.1305/ndjfl/1039700693},
)
@incollection(CohnRenzHbk2008,
 author       = {A. G. Cohn and J. Renz},
 year         = {2008},
 title        = {Qualitative Spatial Representation and Reasoning},
 editor       = {{van Harmelen}, F. and V. Lifschitz and B. Porter},
 booktitle    = {Handbook of knowledge representation},
 publisher    = {Elsevier},
 pages        = {551--596},
 doi          = {10.1016/S1574-6526(07)03013-1},
)
@article(ConradieFomatatiPalmigianoSourabh2015,
 author       = {W. Conradie and Y. Fomatati and A. Palmigiano and S. Sourabh},
 year         = {2015},
 title        = {Algorithmic Correspondence for Intuitionistic Modal Mu-calculus},
 journal      = {Theoretical Computer Science},
 volume       = {564},
 pages        = {30--62},
 doi          = {10.1016/j.tcs.2014.10.027},
)
@article(CoustyNajmanCVIU2013,
 author       = {J. Cousty and L. Najman and F. Dias and J. Serra},
 year         = {2013},
 title        = {Morphological Filtering on Graphs},
 journal      = {Computer Vision and Image Understanding},
 volume       = {117},
 pages        = {370--385},
 doi          = {10.1016/j.cviu.2012.08.016},
)
@article(Esakia2006,
 author       = {L. Esakia},
 year         = {2006},
 title        = {The modalized Heyting calculus: a conservative modal expantion of the intuitionistic logic},
 journal      = {Journal of Applied Non-Classical Logic},
 volume       = {16},
 number       = {3-4},
 pages        = {349--366},
 doi          = {10.3166/jancl.16.349-366},
)
@article(Ewald1986,
 author       = {W. B. Ewald},
 year         = {1986},
 title        = {Intuitionistic Tense and Modal Logic},
 journal      = {Journal of Symbolic Logic},
 volume       = {51},
 number       = {1},
 pages        = {166--179},
 doi          = {10.2307/2273953},
)
@article(GehrkeNagahashiVenema2005,
 author       = {M. Gehrke and H. Nagahashi and Y. Venema},
 year         = {2005},
 title        = {A {S}ahlqvist theorem for distributive modal logic},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {131},
 pages        = {65--102},
 doi          = {10.1016/j.apal.2004.04.007},
)
@article(GhilardiMeloni1997,
 author       = {S. Ghilardi and G. Meloni},
 year         = {1997},
 title        = {Constructive canonicity in non-classical logics},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {86},
 pages        = {1--32},
 doi          = {10.1016/S0168-0072(96)00048-6},
)
@inproceedings(GoreBiIntAiML2010,
 author       = {R. Gor{\'e} and L. Postniece and A. Tiu},
 year         = {2010},
 title        = {Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic},
 booktitle    = {Advances in Modal Logic},
 pages        = {156--177},
)
@article(Hasimoto2001,
 author       = {Y. Hasimoto},
 year         = {2001},
 title        = {Finite Model Property for Some Intuitionistic Modal Logics},
 journal      = {Bulletin of the Section of Logic},
 volume       = {30},
 number       = {2},
 pages        = {87--97},
 url          = {http://www.filozof.uni.lodz.pl/bulletin/pdf/30_2_4.pdf},
)
@book(NajmanTalbot2010,
 author       = {L. Najman and H. Talbot},
 year         = {2010},
 title        = {Mathematical Morphology. {F}rom theory to applications},
 publisher    = {Wiley},
)
@article(Ono1977,
 author       = {Hiroakira Ono},
 year         = {1977},
 title        = {On some intuitionistic modal logics},
 journal      = {Publications of the Research Institute for Mathematical Sciences},
 volume       = {13},
 number       = {3},
 pages        = {687--722},
 doi          = {10.2977/prims/1195189604},
 url          = {http://projecteuclid.org/euclid.prims/1195189604},
)
@article(Rauszer1974a,
 author       = {C. Rauszer},
 year         = {1974},
 title        = {Semi-{B}oolean algebras and their applications to intuitionistic logic with dual operations},
 journal      = {Fundamenta Mathematicae},
 volume       = {LXXXIII},
 pages        = {219--249},
 url          = {https://eudml.org/doc/214696},
)
@inproceedings(Sotirov1980,
 author       = {V. H. Sotirov},
 year         = {1980},
 title        = {Modal Theories with Intuitionistic Logic},
 booktitle    = {Proceedings of the Conference on Mathematical Logic, Sofia, 1980},
 organization = {Bulgarian Academy of Sciences},
 pages        = {139--171},
)
@article(Stell2015,
 author       = {J. G. Stell},
 year         = {2015},
 title        = {Symmetric {H}eyting Relation Algebras with Applications to Hypergraphs},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {84},
 pages        = {440--455},
 doi          = {10.1016/j.jlamp.2014.12.001},
)
@article(Stell2016,
 author       = {J. G. Stell and R. A. Schmidt and D. Rydeheard},
 year         = {2016},
 title        = {A bi-intuitionistic modal logic: Foundations and automation},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {85},
 number       = {4},
 pages        = {500--519},
 doi          = {10.1016/j.jlamp.2015.11.003},
)
@incollection(Wolter1999,
 author       = {F. Wolter and M. Zakharyaschev},
 year         = {1999},
 title        = {Intuitionistic Modal Logic},
 editor       = {Andrea Cantini},
 booktitle    = {Logic and Foundations of Mathematics},
 publisher    = {Kluwer Academic Publishers},
 pages        = {227--238},
 doi          = {10.1007/978-94-017-2109-7_17},
)