{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T03:11:09Z","timestamp":1767237069784},"reference-count":24,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2015,6,1]]},"DOI":"10.1093\/logcom\/exu055","type":"journal-article","created":{"date-parts":[[2014,10,4]],"date-time":"2014-10-04T05:10:23Z","timestamp":1412399423000},"page":"827-856","source":"Crossref","is-referenced-by-count":7,"title":["Logics for some dynamic spaces-I"],"prefix":"10.1093","volume":"25","author":[{"given":"M. A.","family":"Khan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Banerjee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,10,3]]},"reference":[{"key":"1_48723987","first-page":"44","volume":"1397","year":"1998","journal-title":"PROCEEDINGS OF TABLEAUX"},{"key":"3_48723988","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1015057926707","volume":"17","year":"2002","journal-title":"ARTIFICIAL INTELLIGENCE REVIEW"},{"key":"4_48723989","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1016\/j.artint.2006.12.001","volume":"171","year":"2007","journal-title":"Artificial Intelligence","ISSN":"http:\/\/id.crossref.org\/issn\/0004-3702","issn-type":"print"},{"key":"6_48723990","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-48242-3_5","volume":"1705","year":"1999","journal-title":"LOGIC FOR PROGRAMMING AND AUTOMATED REASONING"},{"key":"8_34874073","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","year":"1992","journal-title":"JOURNAL OF LOGIC LANGUAGE AND INFORMATION"},{"issue":"1","key":"10_20334549","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1093\/jigpal\/6.1.73","volume":"6","author":"Gabbay","year":"1998","journal-title":"Logic Journal of IGPL","ISSN":"http:\/\/id.crossref.org\/issn\/1367-0751","issn-type":"print"},{"key":"11_48723991","first-page":"79","volume":"918","year":"1995","journal-title":"PROCEEDINGS OF TABLEAUX"},{"key":"12_48725421","first-page":"21","volume":"VIII","year":"2008","journal-title":"TRANSACTIONS ON ROUGH SETS"},{"key":"13_26526863","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","year":"2004","journal-title":"SIAM JOURNAL ON COMPUTING"},{"key":"15_27729769","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","volume":"106","year":"2000","journal-title":"ANNALS OF PURE AND APPLIED LOGIC"},{"key":"16_48723992","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1023\/A:1021356410579","volume":"72","year":"2002","journal-title":"STUDIA LOGICA"},{"key":"17_48723993","first-page":"29","volume":"12","year":"2011","journal-title":"ACM TRANSACTIONS ON COMPUTATIONAL LOGIC"},{"key":"20_48723994","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0020-0255(98)10019-1","volume":"112","year":"1998","journal-title":"Information Sciences (New York)","ISSN":"http:\/\/id.crossref.org\/issn\/0020-0255","issn-type":"print"},{"key":"21_48723995","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0020-0255(98)10065-8","volume":"113","year":"1999","journal-title":"Information Sciences (New York)","ISSN":"http:\/\/id.crossref.org\/issn\/0020-0255","issn-type":"print"},{"key":"24_48723996","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1142\/S0218488500000071","volume":"8","year":"2000","journal-title":"INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGEBASED SYSTEMS"},{"key":"26_27570738","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1023\/A:1006155811656","volume":"24","year":"2000","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"27_48723997","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0304-3975(84)90010-0","volume":"29","year":"1984","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"28_48723998","doi-asserted-by":"crossref","first-page":"101","DOI":"10.3233\/FI-1982-5106","volume":"5","year":"1982","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"29_48723999","first-page":"221","volume":"59","year":"2004","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"30_36418821","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","year":"1982","journal-title":"INTERNATIONAL JOURNAL OF COMPUTER AND INFORMATION SCIENCE"},{"key":"32_48724000","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-58095-6_12","volume":"808","year":"1994","journal-title":"KNOWLEDGE REPRESENTATION AND REASONING UNDER UNCERTAINTY"},{"key":"33_48724001","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/FI-1996-272311","volume":"27","year":"1996","journal-title":"FUNDAMENTA INFORMATICAE"},{"key":"34_48724002","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1080\/11663081.1998.10510944","volume":"8","year":"1998","journal-title":"JOURNAL OF APPLIED NONCLASSICAL LOGICS"},{"key":"35_48724003","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1080\/10798587.1996.10750660","volume":"2","year":"1996","journal-title":"INTELLIGENT AUTOMATION AND SOFT COMPUTING"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/3\/827\/6140207\/exu055.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T23:23:20Z","timestamp":1650324200000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,3]]},"references-count":24,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2015,5,27]]},"published-print":{"date-parts":[[2015,6,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu055","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,3]]}}}