{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:33:07Z","timestamp":1768559587096,"version":"3.49.0"},"reference-count":7,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1080\/11663081.1998.10510948","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T04:11:11Z","timestamp":1338351071000},"page":"291-323","source":"Crossref","is-referenced-by-count":17,"title":["Calendar Logic"],"prefix":"10.1080","volume":"8","author":[{"given":"Hans J\u00fcrgen","family":"Ohlbach","sequence":"first","affiliation":[]},{"given":"Dov","family":"Gabbay","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Oxford Logic Guides.","author":"Alexander Chargov","year":"1997"},{"key":"CIT0002","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction.","author":"Chellas B. F.","year":"1980"},{"key":"CIT0003","volume-title":"Calendrical Calculations.","author":"Nachum Dershowitz","year":"1997"},{"key":"CIT0004","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal logic: mathematical foundations and computational aspects. Vol. 1., volume 28 of Oxford logic guides.","author":"Dov Gabbay M.","year":"1994"},{"key":"CIT0005","volume-title":"Proc. of ICTL","volume":"1997","author":"Hans J\u00fcrgen Ohlbach","year":"1997"},{"key":"CIT0006","volume-title":"Temporal Logic: mathematical foundations and computational aspects. Vol. 2.","author":"Hans J\u00fcrgen Ohlbach","year":"1998"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-94-017-0437-3_3","volume-title":"Automated Deduction. A Basis for Applications","author":"Hans J\u00fcrgen Ohlbach","year":"1998"}],"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":[[2017,6,20]],"date-time":"2017-06-20T15:27:13Z","timestamp":1497972433000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1998.10510948"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1080\/11663081.1998.10510948"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1998.10510948","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}