{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T22:48:36Z","timestamp":1761950916950,"version":"build-2065373602"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1989,6]]},"DOI":"10.1007\/bf02770508","type":"journal-article","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T00:03:42Z","timestamp":1196640222000},"page":"141-155","source":"Crossref","is-referenced-by-count":17,"title":["An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics"],"prefix":"10.1007","volume":"48","author":[{"given":"Nobu-Yuki","family":"Suzuki","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02770508_CR1","doi-asserted-by":"crossref","first-page":"609","DOI":"10.2307\/2269696","volume":"31","author":"R. A. Bull","year":"1966","unstructured":"R. A. Bull,MIPC as the formalization of an intuitionist concept of modality,Journal of Symbolic Logic 31(1966), pp. 609\u2013616.","journal-title":"Journal of Symbolic Logic"},{"key":"BF02770508_CR2","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"S. Burris andH. P. Sankappanavar,A Course in Universal Algebra, Graduate Texts in Mathematics 78, Springer-Verlag, New York-Heidelberg-Berlin, 1981."},{"key":"BF02770508_CR3","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/BF00370809","volume":"44","author":"K. Do\u0161en","year":"1985","unstructured":"K. Do\u0161en,Models for stronger normal intuitionistic modal logics,Studia Logica 44(1985), pp. 50\u201361.","journal-title":"Studia Logica"},{"key":"BF02770508_CR4","first-page":"27","volume":"17","author":"J. M. Font","year":"1984","unstructured":"J. M. Font,Implication and deducation in some intuitionistic modal logics,Reports on Mathematical Logic 17(1984), pp. 27\u201338.","journal-title":"Reports on Mathematical Logic"},{"key":"BF02770508_CR5","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1305\/ndjfl\/1093636766","volume":"27","author":"J. M. Font","year":"1986","unstructured":"J. M. Font,Modality and possibility in some intuitionistic modal logics,Notre Dame Journal of Formal Logic 27(1986), pp. 533\u2013546.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"BF02770508_CR6","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF01458217","volume":"76","author":"L. L\u00f6wenheim","year":"1915","unstructured":"L. L\u00f6wenheim,\u00dcber M\u00f6glichkeiten im Relativkalk\u00fcl,Mathematische Annalen 76(1915), pp. 445\u2013470.","journal-title":"Mathematische Annalen"},{"key":"BF02770508_CR7","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2977\/prims\/1195192964","volume":"8","author":"H. Ono","year":"1972","unstructured":"H. Ono,A study of intermediate predicate logics,Publications of the Research Institute for Mathematical Sciences, Kyoto University 8(1972), pp. 619\u2013649.","journal-title":"Publications of the Research Institute for Mathematical Sciences, Kyoto University"},{"key":"BF02770508_CR8","doi-asserted-by":"crossref","first-page":"687","DOI":"10.2977\/prims\/1195189604","volume":"13","author":"H. Ono","year":"1977","unstructured":"H. Ono,On some intuitionistic modal logics,Publications of the Research Institute for Mathematical Sciences, Kyoto University 13(1977), pp. 687\u2013722.","journal-title":"Publications of the Research Institute for Mathematical Sciences, Kyoto University"},{"key":"BF02770508_CR9","first-page":"55","volume":"21","author":"H. Ono","year":"1987","unstructured":"H. Ono,Some problems in intermediate predicate logics,Reports on Mathematical Logic 21(1987), pp. 55\u201367.","journal-title":"Reports on Mathematical Logic"},{"key":"BF02770508_CR10","unstructured":"H. Ono andN.-Y. Suzuki,Relations between intuitionistic modal logics and intermediate predicate logics, to appear inReports on Mathematical Logic 22(1989)."},{"key":"BF02770508_CR11","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"H. Rasiowa","year":"1974","unstructured":"H. Rasiowa,An Algebraic Approach to Non-Classical Logics, Studies in Logic and the Foundations of Mathematics, 78, North-Holland Publishing Company, Amsterdam-London, 1974."},{"key":"BF02770508_CR12","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01708856","volume":"40","author":"M. Wajsberg","year":"1933","unstructured":"M. Wajsberg,Ein erweiterter Klassenkalk\u00fcl,Monatshefte f\u00fcr Mathematik und Physik 40(1933), pp. 113\u2013126. English translation:An extended class calculus, in M. Wajsberg,Logical Works, edited by S. J. Surma, Ossolineum 1977, pp. 50\u201361.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02770508.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02770508\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02770508","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T22:02:32Z","timestamp":1558389752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02770508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF02770508"],"URL":"https:\/\/doi.org\/10.1007\/bf02770508","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}