{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:34Z","timestamp":1725475894578},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676973"},{"type":"electronic","value":"9783540450085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_13","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:43:15Z","timestamp":1167439395000},"page":"127-142","source":"Crossref","is-referenced-by-count":13,"title":["A Tableau Method for Inconsistency-Adaptive Logics"],"prefix":"10.1007","author":[{"given":"Diderik","family":"Batens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joke","family":"Meheus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"263","volume-title":"The Logic of Discovery and the Logic of Discourse","author":"D. Batens","year":"1985","unstructured":"Batens, D.: Dynamic dialectical logics as a tool to deal with and partly eliminate unexpected inconsistencies. In: Hintikka, J., Vandamme, F. (eds.) The Logic of Discovery and the Logic of Discourse, pp. 263\u2013271. Plenum Press, New York (1985)"},{"key":"13_CR2","first-page":"161","volume":"114","author":"D. Batens","year":"1986","unstructured":"Batens, D.: Dialectical dynamics within formal logics. Logique et Analyse\u00a0114, 161\u2013173 (1986)","journal-title":"Logique et Analyse"},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"187","DOI":"10.2307\/j.ctv2x8v8c7.9","volume-title":"Paraconsistent Logic. Essays on the Inconsistent","author":"D. Batens","year":"1989","unstructured":"Batens, D.: Dynamic dialectical logics. In: Priest, G., Routley, R., Norman, J. (eds.) Paraconsistent Logic. Essays on the Inconsistent, pp. 187\u2013217. Philosophia Verlag, M\u00fcnchen (1989)"},{"key":"13_CR4","first-page":"57","volume":"145","author":"D. Batens","year":"1994","unstructured":"Batens, D.: Inconsistency-adaptive logics and the foundation of non-monotonic logics. Logique et Analyse\u00a0145, 57\u201394 (1994) (appeared 1996)","journal-title":"Logique et Analyse"},{"key":"13_CR5","first-page":"285","volume":"150{152","author":"D. Batens","year":"1995","unstructured":"Batens, D.: Blocks. The clue to dynamic aspects of logic. Logique et Analyse\u00a0150-152, 285\u2013328 (1995) (appeared 1997)","journal-title":"Logique et Analyse"},{"key":"13_CR6","unstructured":"Batens, D.: Inconsistency-adaptive logics. In: Or\u0142owska [17], pp. 445\u2013472"},{"key":"13_CR7","unstructured":"Batens, D.: Minimally abnormal models in some adaptive logics. Synthese (in print)"},{"key":"13_CR8","unstructured":"Batens, D.: A survey of inconsistency-adaptive logics. In: Batens et al. [10], pp. 59\u201383"},{"key":"13_CR9","unstructured":"Batens, D.: Towards the unification of inconsistency handling mechanisms. Logic and Logical Philosophy (in print)"},{"key":"13_CR10","unstructured":"Batens, D., Mortensen, C., Priest, G., Van Bendegem, J.P. (eds.): Frontier of Paraconsistent Logic. King\u2019s College Publications. Research Studies Press, Baldock, UK (in print)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1023\/A:1004987830832","volume":"58","author":"S. Benferhat","year":"1997","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 1: The flat case. Studia Logica\u00a058, 17\u201345 (1997)","journal-title":"Studia Logica"},{"key":"13_CR12","unstructured":"Benferhat, S., Dubois, D., Prade, H.: Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 2: The prioritized case. In: Or\u0142owska [17], pp. 473\u2013511"},{"key":"13_CR13","unstructured":"De Clercq, K.: Two new strategies for inconsistency-adaptive logics. Logic and Logical Philosophy (in print)"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehman, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence\u00a044, 167\u2013207 (1990)","journal-title":"Artificial Intelligence"},{"key":"13_CR15","first-page":"359","volume":"143-144","author":"J. Meheus","year":"1993","unstructured":"Meheus, J.: Adaptive logic in scientific discovery: the case of Clausius. Logique et Analyse\u00a0143-144, 359\u2013389 (1993) (appeared 1996)","journal-title":"Logique et Analyse"},{"key":"13_CR16","unstructured":"Meheus, J.: An extremely rich paraconsistent logic and the adaptive logic based on it. In: Batens et al. [10], pp. 197\u2013209"},{"volume-title":"Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa","year":"1999","key":"13_CR17","unstructured":"Orlowska, E. (ed.): Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Physica Verlag (Springer), Heidelberg, New York (1999)"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/BF00370190","volume":"50","author":"G. Priest","year":"1991","unstructured":"Priest, G.: Minimally inconsistent LP. Studia Logica\u00a050, 321\u2013331 (1991)","journal-title":"Studia Logica"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Smullyan, R.M.: First Order Logic. Dover, New York (1995), Original edition: Springer, Hidleberg (1968)","DOI":"10.1007\/978-3-642-86718-7"},{"key":"13_CR20","first-page":"261","volume":"159","author":"G. Vanackere","year":"1997","unstructured":"Vanackere, G.: Ambiguity-adaptive logic. Logique et Analyse\u00a0159, 261\u2013280 (1997) (appeared 1999)","journal-title":"Logique et Analyse"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722086_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T07:13:50Z","timestamp":1683702830000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/10722086_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}