{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T03:40:42Z","timestamp":1768621242310,"version":"3.49.0"},"reference-count":31,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Journal of IGPL"],"published-print":{"date-parts":[[2014,12,1]]},"DOI":"10.1093\/jigpal\/jzu024","type":"journal-article","created":{"date-parts":[[2014,7,19]],"date-time":"2014-07-19T06:59:43Z","timestamp":1405753183000},"page":"992-1018","source":"Crossref","is-referenced-by-count":14,"title":["Characterizing intermediate tense logics in terms of Galois connections"],"prefix":"10.1093","volume":"22","author":[{"given":"W.","family":"Dzik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Jarvinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Kondo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,7,18]]},"reference":[{"key":"1_48192780","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-44802-0_21","volume":"2142","year":"2001","journal-title":"Lecture Notes in Computer Science","ISSN":"https:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"4_35817380","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1005291931660","volume":"65","year":"2000","journal-title":"STUDIA LOGICA"},{"key":"5_40712998","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1002\/malq.19990450408","volume":"45","year":"1999","journal-title":"MATHEMATICAL LOGIC QUARTERLY"},{"key":"8_43537156","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/s11225-010-9230-1","volume":"94","year":"2010","journal-title":"STUDIA LOGICA"},{"key":"10_48192781","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-642-39992-3_20","volume":"8071","year":"2013","journal-title":"Lecture Notes in Computer Science","ISSN":"https:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"12_46228419","doi-asserted-by":"crossref","first-page":"1185","DOI":"10.2478\/s11533-011-0063-6","volume":"9","year":"2011","journal-title":"CENTRAL EUROPEAN JOURNAL OF MATHEMATICS"},{"key":"13_48192782","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/978-3-540-72734-7_12","volume":"4514","year":"2007","journal-title":"Lecture Notes in Computer Science","ISSN":"https:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"14_35817381","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","year":"1995","journal-title":"STUDIA LOGICA"},{"issue":"6","key":"15_35817377","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1093\/jigpal\/jzp057","volume":"18","year":"2010","journal-title":"Logic Journal of IGPL","ISSN":"https:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"issue":"2","key":"16_42437852","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1093\/jigpal\/jzs016","volume":"21","year":"2013","journal-title":"Logic Journal of IGPL","ISSN":"https:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"18_48192784","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1016\/j.ijar.2013.07.005","volume":"55","year":"2014","journal-title":"INTERNATIONAL JOURNAL OF APPROXIMATE REASONING"},{"key":"19_48192785","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1111\/j.1749-6632.1993.tb52513.x","volume":"704","year":"1993","journal-title":"Annals of the New York Academy of Sciences","ISSN":"https:\/\/id.crossref.org\/issn\/0077-8923","issn-type":"print"},{"key":"20_35817383","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2273953","volume":"51","year":"1986","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"21_48192786","first-page":"71","volume":"41","year":"2012","journal-title":"BULLETIN OF THE SECTION OF LOGIC"},{"key":"22_46228428","doi-asserted-by":"crossref","first-page":"47","DOI":"10.4134\/CKMS.2012.27.1.047","volume":"27","year":"2012","journal-title":"COMMUNICATIONS OF THE KOREAN MATHEMATICAL SOCIETY"},{"key":"23_48192787","first-page":"179","volume":"42","year":"1984","journal-title":"RENDICONTI DEL SEMINARIO MATEMATICO DELLA UNIVERSITA POLITECNICA DI TORINO"},{"key":"24_48192788","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/978-3-642-38682-4_26","volume":"7903","year":"2013","journal-title":"Lecture Notes in Computer Science","ISSN":"https:\/\/id.crossref.org\/issn\/0302-9743","issn-type":"print"},{"key":"25_40713006","doi-asserted-by":"crossref","first-page":"1009","DOI":"10.1007\/s00153-004-0240-4","volume":"43","year":"2004","journal-title":"ARCHIVE FOR MATHEMATICAL LOGIC"},{"key":"26_48192789","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1005203020752","volume":"63","year":"1999","journal-title":"STUDIA LOGICA"},{"key":"28_48192790","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3233\/FUN-2007-761-209","volume":"76","year":"2007","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"29_35817385","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/j.ijar.2008.06.003","volume":"49","year":"2008","journal-title":"INTERNATIONAL JOURNAL OF APPROXIMATE REASONING"},{"key":"30_29022099","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","year":"1951","journal-title":"American Journal of Mathematics","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9327","issn-type":"print"},{"key":"31_48192791","first-page":"277","volume":"8","year":"1995","journal-title":"MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE"},{"key":"32_48192792","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1016\/S1570-2464(07)80018-8","volume":"3","year":"2007","journal-title":"HANDBOOK OF MODAL LOGIC"},{"key":"33_48192793","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/s10992-012-9266-y","volume":"43","year":"2014","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"34_48192794","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1090\/S0002-9947-1944-0010555-7","volume":"55","year":"1944","journal-title":"TRANSACTIONS OF AMERICAN MATHEMATICAL SOCIETY"},{"key":"36_35817387","first-page":"275","volume":"81","year":"2007","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"38_48192795","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1007\/BF01053262","volume":"52","year":"1993","journal-title":"STUDIA LOGICA"},{"key":"39_48192796","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BFb0084231","volume":"1488","year":"1991","journal-title":"LECTURE NOTES IN MATHEMATICS"},{"key":"40_48192797","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1017\/S1755020310000134","volume":"3","year":"2010","journal-title":"THE REVIEW OF SYMBOLIC LOGIC"},{"key":"42_48192798","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/S1570-2464(07)80009-7","volume":"3","year":"2007","journal-title":"HANDBOOK OF MODAL LOGIC"}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/22\/6\/992\/2015150\/jzu024.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T21:46:20Z","timestamp":1746308780000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzu024"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,18]]},"references-count":31,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2014,11,20]]},"published-print":{"date-parts":[[2014,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzu024","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,18]]}}}