{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T06:49:51Z","timestamp":1768718991602,"version":"3.49.0"},"reference-count":18,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.243.8","type":"journal-article","created":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T04:57:12Z","timestamp":1488949032000},"page":"105-121","source":"Crossref","is-referenced-by-count":9,"title":["Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics"],"prefix":"10.4204","volume":"243","author":[{"given":"Katsuhiko","family":"Sano","sequence":"first","affiliation":[]},{"given":"John G.","family":"Stell","sequence":"additional","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2017,3,6]]},"reference":[{"key":"BlochJANCL2002","doi-asserted-by":"publisher","first-page":"399","DOI":"10.3166\/jancl.12.399-423","article-title":"Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning","volume":"12","author":"Bloch","year":"2002","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1","key":"CelaniJanasa1997","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1039700693","article-title":"A new semantics for positive modal logic","volume":"38","author":"Celani","year":"1997","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CohnRenzHbk2008","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/S1574-6526(07)03013-1","article-title":"Qualitative Spatial Representation and Reasoning","volume-title":"Handbook of knowledge representation","author":"Cohn","year":"2008"},{"key":"ConradieFomatatiPalmigianoSourabh2015","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.tcs.2014.10.027","article-title":"Algorithmic Correspondence for Intuitionistic Modal Mu-calculus","volume":"564","author":"Conradie","year":"2015","journal-title":"Theoretical Computer Science"},{"key":"CoustyNajmanCVIU2013","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/j.cviu.2012.08.016","article-title":"Morphological Filtering on Graphs","volume":"117","author":"Cousty","year":"2013","journal-title":"Computer Vision and Image Understanding"},{"key":"Esakia2006","doi-asserted-by":"publisher","first-page":"349","DOI":"10.3166\/jancl.16.349-366","article-title":"The modalized Heyting calculus: a conservative modal expantion of the intuitionistic logic","volume":"16","author":"Esakia","year":"2006","journal-title":"Journal of Applied Non-Classical Logic"},{"issue":"1","key":"Ewald1986","doi-asserted-by":"publisher","first-page":"166","DOI":"10.2307\/2273953","article-title":"Intuitionistic Tense and Modal Logic","volume":"51","author":"Ewald","year":"1986","journal-title":"Journal of Symbolic Logic"},{"key":"GehrkeNagahashiVenema2005","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","article-title":"A Sahlqvist theorem for distributive modal logic","volume":"131","author":"Gehrke","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"GhilardiMeloni1997","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0168-0072(96)00048-6","article-title":"Constructive canonicity in non-classical logics","volume":"86","author":"Ghilardi","year":"1997","journal-title":"Annals of Pure and Applied Logic"},{"key":"GoreBiIntAiML2010","first-page":"156","article-title":"Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic","volume-title":"Advances in Modal Logic","author":"Gor\u00e9","year":"2010"},{"issue":"2","key":"Hasimoto2001","first-page":"87","article-title":"Finite Model Property for Some Intuitionistic Modal Logics","volume":"30","author":"Hasimoto","year":"2001","journal-title":"Bulletin of the Section of Logic"},{"key":"NajmanTalbot2010","volume-title":"Mathematical Morphology. From theory to applications","author":"Najman","year":"2010"},{"issue":"3","key":"Ono1977","doi-asserted-by":"publisher","first-page":"687","DOI":"10.2977\/prims\/1195189604","article-title":"On some intuitionistic modal logics","volume":"13","author":"Ono","year":"1977","journal-title":"Publications of the Research Institute for Mathematical Sciences"},{"key":"Rauszer1974a","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/fm-83-3-219-249","article-title":"Semi-Boolean algebras and their applications to intuitionistic logic with dual operations","volume":"LXXXIII","author":"Rauszer","year":"1974","journal-title":"Fundamenta Mathematicae"},{"key":"Sotirov1980","first-page":"139","article-title":"Modal Theories with Intuitionistic Logic","volume-title":"Proceedings of the Conference on Mathematical Logic, Sofia, 1980","author":"Sotirov","year":"1980"},{"key":"Stell2015","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.jlamp.2014.12.001","article-title":"Symmetric Heyting Relation Algebras with Applications to Hypergraphs","volume":"84","author":"Stell","year":"2015","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"issue":"4","key":"Stell2016","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1016\/j.jlamp.2015.11.003","article-title":"A bi-intuitionistic modal logic: Foundations and automation","volume":"85","author":"Stell","year":"2016","journal-title":"Journal of Logical and Algebraic Methods in Programming"},{"key":"Wolter1999","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-017-2109-7_17","article-title":"Intuitionistic Modal Logic","volume-title":"Logic and Foundations of Mathematics","author":"Wolter","year":"1999"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T12:32:06Z","timestamp":1568896326000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1703.02198"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.4204\/eptcs.243.8","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3,6]]}}}