{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T14:45:07Z","timestamp":1790261107587,"version":"4.1.0"},"reference-count":28,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,2,1]]},"DOI":"10.1093\/logcom\/exs030","type":"journal-article","created":{"date-parts":[[2012,7,8]],"date-time":"2012-07-08T01:32:29Z","timestamp":1341711149000},"page":"1-35","source":"Crossref","is-referenced-by-count":13,"title":["Modal compact Hausdorff spaces"],"prefix":"10.1093","volume":"25","author":[{"given":"G.","family":"Bezhanishvili","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"N.","family":"Bezhanishvili","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Harding","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2012,7,7]]},"reference":[{"key":"2_43032204","first-page":"301","volume":"6","year":"1980","journal-title":"HOUSTON J MATH"},{"key":"3_43032205","doi-asserted-by":"crossref","first-page":"1064","DOI":"10.1016\/j.topol.2010.01.007","volume":"157","year":"2010","journal-title":"TOPOLOGY APPL"},{"key":"7_43032206","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.tcs.2011.11.026","volume":"424","year":"2012","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"issue":"6","key":"9_20334365","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1093\/jigpal\/7.6.683","volume":"7","author":"Celani","year":"1999","journal-title":"Logic Journal of IGPL","ISSN":"https:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"11_43032208","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1051\/ita:1999123","volume":"33","year":"1999","journal-title":"THEOR INFORM APPL"},{"key":"12_43032209","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/j.apal.2009.07.009","volume":"161","year":"2009","journal-title":"ANN PURE APPL LOGIC"},{"key":"13_43032249","first-page":"91","volume":"3","year":"2000","journal-title":"ADVANCES IN MODAL LOGIC"},{"key":"16_43032211","first-page":"147","volume":"15","year":"1974","journal-title":"SOVIET MATH DOKL"},{"key":"18_36515541","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1090\/S0002-9947-05-03816-X","volume":"358","year":"2006","journal-title":"TRANS AMER MATH SOC"},{"key":"19_43032212","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","year":"2005","journal-title":"ANN PURE APPL LOGIC"},{"key":"20_43032213","first-page":"430","volume":"23","year":"1939","journal-title":"DOKLADY AKAD NAUK USSR"},{"key":"21_43032214","first-page":"3","volume":"9","year":"1941","journal-title":"REC MATH MAT SBORNIK N S"},{"key":"22_36515542","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s000120050100","volume":"41","year":"1999","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"23_43032215","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1016\/j.apal.2005.10.005","volume":"141","year":"2006","journal-title":"ANN PURE AND APPL LOGIC"},{"key":"25_43032250","first-page":"231","volume":"46","year":"2008","journal-title":"PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON INTERVALPROBABILISTIC UNCERTAINTY AND NONCLASSICAL LOGICS ADVANCES IN SOFT COMPUTING"},{"key":"26_43032217","first-page":"355","volume":"33","year":"2007","journal-title":"HOUSTON JOURNAL OF MATHEMATICS"},{"key":"27_43032218","doi-asserted-by":"crossref","first-page":"5","DOI":"10.7146\/math.scand.a-11409","volume":"31","year":"1972","journal-title":"MATH SCAND"},{"key":"30_43032219","doi-asserted-by":"crossref","first-page":"63","DOI":"10.3792\/pia\/1195579206","volume":"16","year":"1940","journal-title":"PROC IMP ACAD TOKYO"},{"key":"31_43032220","doi-asserted-by":"crossref","first-page":"994","DOI":"10.2307\/1968778","volume":"42","year":"1941","journal-title":"ANN OF MATH"},{"key":"33_32989192","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","year":"2004","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"35_43032221","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1002\/mana.19700460105","volume":"46","year":"1970","journal-title":"MATH NACHR"},{"key":"37_43032222","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/j.tcs.2004.01.027","volume":"316","year":"2004","journal-title":"THEORET COMPUT SCI"},{"issue":"4","key":"39_19661420","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1073\/pnas.26.4.280","volume":"26","author":"Stone","year":"1940","journal-title":"PNAS","ISSN":"https:\/\/id.crossref.org\/issn\/0027-8424","issn-type":"print"},{"issue":"1","key":"40_19661500","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1073\/pnas.27.1.83","volume":"27","author":"Stone","year":"1941","journal-title":"PNAS","ISSN":"https:\/\/id.crossref.org\/issn\/0027-8424","issn-type":"print"},{"key":"41_36515547","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00012-007-2033-1","volume":"57","year":"2007","journal-title":"ALGEBRA UNIVERSALIS"},{"key":"42_43032223","first-page":"29","volume":"2","year":"1958","journal-title":"REV MAT CUYANA"},{"key":"43_43032251","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/S1570-2464(07)80009-7","volume":"3","year":"2007","journal-title":"STUDIES IN LOGIC AND PRACTICAL REASONING"},{"key":"44_43032225","doi-asserted-by":"crossref","first-page":"339","DOI":"10.3792\/pia\/1195573861","volume":"18","year":"1942","journal-title":"PROC IMP ACAD TOKYO"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/1\/1\/5147330\/exs030.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T17:12:52Z","timestamp":1503508372000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,7]]},"references-count":28,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2015,1,28]]},"published-print":{"date-parts":[[2015,2,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs030","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,7]]}}}