{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T15:30:38Z","timestamp":1765294238140},"reference-count":20,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.3166\/jancl.13.165-185","type":"journal-article","created":{"date-parts":[[2007,6,11]],"date-time":"2007-06-11T22:19:08Z","timestamp":1181600348000},"page":"165-185","source":"Crossref","is-referenced-by-count":17,"title":["Regression in Modal Logic"],"prefix":"10.1080","volume":"13","author":[{"given":"Robert","family":"Demolombe","sequence":"first","affiliation":[{"name":"a ONERA Toulouse , 2 Avenue Edouard Belin, B.P. 4025, 31055 , Toulouse Cedex, France"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[{"name":"b Institut de Recherche en Informatique de Toulouse , 118, route de Narbonne, 31062 , Toulouse Cedex 4, France"}]},{"given":"Ivan","family":"Varzinczak","sequence":"additional","affiliation":[]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"issue":"5","key":"CIT0001","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1093\/logcom\/9.5.701","volume":"9","author":"CASTILHO M. A.","year":"1999","journal-title":"J. of Logic and Computation"},{"key":"CIT0002","volume-title":"Proc. of NMR'2002","author":"CASTILHO M. A."},{"key":"CIT0003","volume-title":"Proc. of the Workshop on Nonmonotonic Reasoning, Action and Change","author":"DEMOLOMBE R."},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2794-5"},{"key":"CIT0005","first-page":"103","volume-title":"Proc. of AI*IA'95","author":"GIACOMO G. D."},{"key":"CIT0006","first-page":"328","volume-title":"Proc. of AAAI'86","author":"HANKS S."},{"key":"CIT0007","series-title":"Extensions of Classical Logic","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","volume":"2","author":"HAREL D.","year":"1984"},{"key":"CIT0008","volume-title":"Proc. of ECAI'2000","author":"HERZIG A."},{"issue":"5","key":"CIT0009","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"LIN F.","year":"1994","journal-title":"J. of Logic and Computation"},{"key":"CIT0010","first-page":"1985","volume-title":"Proc. of IJCAI'95","author":"LIN F.","year":"1995"},{"key":"CIT0011","first-page":"670","volume-title":"Proc. of AAAI'96","volume":"1","author":"LIN F."},{"key":"CIT0012","first-page":"463","volume":"4","author":"MCCARTHY J.","year":"1969","journal-title":"Machine Intelligence"},{"key":"CIT0013","first-page":"43","volume-title":"Proc. of AAAI'98","author":"MCILRAITH S.","year":"1998"},{"issue":"5","key":"CIT0014","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"OHLBACH H. J.","year":"1991","journal-title":"J. of Logic and Computation"},{"issue":"1","key":"CIT0015","first-page":"69","volume":"1","author":"OHLBACH H. J.","year":"1993","journal-title":"J. of the Interest Group in Pure and Applied Logics"},{"key":"CIT0016","series-title":"Papers in Honor of John McCarthy","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation","author":"REITER R.","year":"1991"},{"key":"CIT0017","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"REITER R.","year":"2001"},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-94-009-0553-5_2","author":"SCHUBERT L. K.","year":"1990","journal-title":"Knowledge Representation and Defeasible Reasoning"},{"key":"CIT0019","first-page":"689","volume-title":"Proc. of AAAI'93","author":"SCHERL R. B.","year":"1993"},{"key":"CIT0020","first-page":"131","volume-title":"Proc. of IJCAI' 2001","author":"ZHANG D."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.13.165-185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T21:24:54Z","timestamp":1556486694000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.13.165-185"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":20,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2003,1]]}},"alternative-id":["10.3166\/jancl.13.165-185"],"URL":"https:\/\/doi.org\/10.3166\/jancl.13.165-185","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}