{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:24:18Z","timestamp":1762100658667},"reference-count":16,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.279-296","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T09:06:10Z","timestamp":1176282370000},"page":"279-296","source":"Crossref","is-referenced-by-count":8,"title":["On the strength and scope of DLS"],"prefix":"10.1080","volume":"16","author":[{"given":"Willem","family":"Conradie","sequence":"first","affiliation":[{"name":"a   Department of Mathematics , University of Johannesburg , PO Box 524 Auckland Park,  2006 ,  South Africa"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1007\/BF01448035"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"CIT0003","first-page":"1261","volume":"56","author":"CHAGROVA L. A.","year":"1991","journal-title":"JSL"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-2(1:5)2006"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005722130532"},{"key":"CIT0006","volume-title":"Quantifier Elimination in Second-Order Predicate Logic","author":"ENGEL T.","year":"1996"},{"key":"CIT0007","first-page":"35","volume":"7","author":"GABBAY D. M.","year":"1992","journal-title":"South African Computer Journal"},{"key":"CIT0008","volume-title":"Second-Order Quantifier Elimination: Mathematical Foundations, Computational Aspects and Applications","author":"GABBAY D. M.","year":"2006"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2005.10.005"},{"key":"CIT0010","volume-title":"Quantifier Elimination in Second-Order Predicate Logic","author":"GUSTAFSSON J.","year":"1996"},{"key":"CIT0011","volume-title":"Tools and Techniques in Modal Logic","author":"KRACHT M.","year":"1999"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90119-6"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70728-6"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/3.6.605"},{"key":"CIT0015","first-page":"223","volume-title":"Proc. of JELIA'02","author":"SZALAS A."},{"issue":"4","key":"CIT0016","first-page":"535","volume":"35","author":"WALKOE W. J.","year":"1970","journal-title":"JSL"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.279-296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T10:33:17Z","timestamp":1498213997000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.279-296"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":16,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.279-296"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.279-296","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}