{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:42:07Z","timestamp":1728175327805},"reference-count":29,"publisher":"Informa UK Limited","issue":"2-3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1080\/11663081.1999.10510971","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:17:46Z","timestamp":1338365866000},"page":"345-368","source":"Crossref","is-referenced-by-count":5,"title":["Hyperboolean Algebras and Hyperboolean Modal Logic"],"prefix":"10.1080","volume":"9","author":[{"given":"Valentin","family":"Goranko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimiter","family":"Vakarelov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1093\/logcom\/7.1.59","volume":"7","author":"Balbiani Ph.","year":"1997","journal-title":"J. Logic Computat."},{"key":"CIT0002","unstructured":"van Benthem, J. 1985. \u201cClassical Logic and Modal Logic, Bibliopolis, Napoli\u201d."},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1080\/16073606.1984.9632323","volume":"7","author":"Brink C.","year":"1984","journal-title":"Questiones Mathematicae"},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01196091","volume":"30","author":"Brink C.","year":"1993","journal-title":"Algebra Universalis"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"Bull, R. and Segerberg, K. 1984. \u201cBasic Modal Logic, in: Handbook of Phil. Logic, Vol II\u201d. Edited by: Gabbay, D and Guenthner, F. 1\u201388. Reidel.","DOI":"10.1007\/978-94-009-6259-0_1"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00370320","volume":"39","author":"Burgess J.","year":"1980","journal-title":"Studia Logica"},{"key":"CIT0007","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A course in universal algebra, Springer-Verlag","author":"Burris S.","year":"1981"},{"key":"CIT0008","volume-title":"Completeness and Definability, Dissertation, Department of Mathematics, University of Amsterdam","author":"Doets K.","year":"1987"},{"key":"CIT0009","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"Gabbay D.","year":"1981"},{"key":"CIT0010","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/logcom\/1.2.229","volume":"1","author":"Gabbay D.","year":"1990","journal-title":"J. Logic Computat."},{"key":"CIT0011","first-page":"37","volume":"4","author":"Gargov G.","year":"1987","journal-title":"Journal of Non-Classical Logics"},{"key":"CIT0012","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"Gargov G.","year":"1963","journal-title":"J. Philos. Logic"},{"key":"CIT0013","first-page":"181","volume-title":"Proc of AIMSA'86","author":"Gargov G.","year":"1986"},{"key":"CIT0014","volume-title":"Axiomatizing the logic of Computer Programming, LNCS Nol30, Springer-Verlag","author":"Goldblatt R.","year":"1982"},{"key":"CIT0015","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"Goldblatt R.","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Goldblatt, R. and Thomason, S. 1974.Axiomatic Classes in Propositional Modal logic, Algebra and Logic, Lecture Notes in Mathematics 450 Edited by: Crossley, J. 163\u2013173. Berlin: Springer-Verlag.","DOI":"10.1007\/BFb0062855"},{"key":"CIT0017","unstructured":"Goranko, V. and Vakarelov, D. Modal Logic and Universal Algebra, to appear in: Advances in Modal Logic, CSLI publications"},{"key":"CIT0018","unstructured":"Jipsen, P. 1999. \u201cpersonal correspondence\u201d."},{"key":"CIT0019","first-page":"891","volume-title":"American J. Math.","volume":"73","author":"J\u00f3nsson B.","year":"1951"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"Passy S.","year":"1991","journal-title":"Information and Computation"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"de Rijke M.","year":"1992","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0022","volume-title":"Extending Modal Logic, Ph.D. thesis, ILLC, University of Amsterdam, ILLC Dissertation Series 1993\u20134","author":"de Rijke M.","year":"1993"},{"key":"CIT0023","first-page":"565","volume-title":"Studia Logica","volume":"4","author":"Vakarelov D.","year":"1989"},{"key":"CIT0024","first-page":"1","volume-title":"Logics in AI, European Workshop JELIA '92","volume":"633","author":"Vakarelov D.","year":"1992"},{"key":"CIT0025","volume-title":"Abstracts of the 10-th International Congress of Logic, Methodology and Philosophy of Science","author":"Vakarelov D.","year":"1995"},{"key":"CIT0026","first-page":"141","volume-title":"Arrow Logic and Multi-Modal Logic","author":"Vakarelov D.","year":"1996"},{"key":"CIT0027","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1305\/ndjfl\/1093635589","volume":"31","author":"Venema Y.","journal-title":"Notre Dame J. Form. Logic"},{"key":"CIT0028","volume-title":"Many-Dimensional Modal Logic, Ph.D. thesis, Department of Mathematics and Computer science, University of Amsterdam","author":"Venema Y.","year":"1992"},{"key":"CIT0029","doi-asserted-by":"crossref","first-page":"1003","DOI":"10.2307\/2275109","volume":"58","author":"Venema Y.","year":"1993","journal-title":"Journal of Symbolic Logic"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T07:10:14Z","timestamp":1561792214000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1999.10510971"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":29,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["10.1080\/11663081.1999.10510971"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1999.10510971","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}