{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T22:41:42Z","timestamp":1775774502584,"version":"3.50.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,4,18]],"date-time":"2015-04-18T00:00:00Z","timestamp":1429315200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1007\/s11229-015-0740-2","type":"journal-article","created":{"date-parts":[[2015,4,17]],"date-time":"2015-04-17T13:20:59Z","timestamp":1429276859000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Paraconsistent dynamics"],"prefix":"10.1007","volume":"193","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7722-0023","authenticated-orcid":false,"given":"Patrick","family":"Girard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koji","family":"Tanaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,18]]},"reference":[{"key":"740_CR1","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s11225-011-9346-y","volume":"99","author":"O Arieli","year":"2011","unstructured":"Arieli, O., Avron, A., & Zamansky, A. (2011). Ideal paraconsistent logics. Studia Logica, 99, 31\u201360.","journal-title":"Studia Logica"},{"key":"740_CR2","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1305\/ndjfl\/1093636612","volume":"27","author":"A Avron","year":"1986","unstructured":"Avron, A. (1986). On an implication connective of RM. Notre Dame Journal of Formal Logic, 27, 201\u2013209.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"740_CR3","first-page":"9","volume":"3","author":"A Baltag","year":"2008","unstructured":"Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. Text in Logic and Games, 3, 9\u201358.","journal-title":"Text in Logic and Games"},{"issue":"1","key":"740_CR4","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1215\/00294527-1731353","volume":"54","author":"J Beall","year":"2013","unstructured":"Beall, J., Forster, T., & Seligman, J. (2013). A mote on freedom from detachment in the logic of paradox. Notre Dame Journal of Formal Logic, 54(1), 15\u201320.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"740_CR5","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1023\/B:LOGI.0000036831.48866.12","volume":"33","author":"B Brown","year":"2004","unstructured":"Brown, B., & Priest, G. (2004). Chunk and permeate\u2014part I: The infinitesimal calculus. Journal of Philosophical Logic, 33, 379\u2013388.","journal-title":"Journal of Philosophical Logic"},{"key":"740_CR6","first-page":"1349","volume":"270","author":"IML D\u2019Ottaviano","year":"1970","unstructured":"D\u2019Ottaviano, I. M. L., & da Costa, N. (1970). Sur un probl\u00e8me de Ja\u015bkowski. Comptes Rendus de l\u2019Acad\u00e9mie des Sciences de Paris, 270, 1349\u20131353.","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie des Sciences de Paris"},{"key":"740_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. Cambridge: MIT Press."},{"key":"740_CR8","volume-title":"Johan van Benthem on logic and information dynamics","author":"P Girard","year":"2014","unstructured":"Girard, P., & Rott, H. (2014). Belief revision and dynamic logic. In A. Baltag & S. Smets (Eds.), Johan van Benthem on logic and information dynamics. Dordrecht: Springer."},{"issue":"2","key":"740_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3166\/jancl.17.231-253","volume":"17","author":"B Kooi","year":"2007","unstructured":"Kooi, B. (2007). Expressivity and completeness for public update logics via reductions axioms. Journal of Applied Non-Classical Logics, 17(2), 231\u2013253.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"740_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1023\/A:1015690931863","volume":"56","author":"E Mares","year":"2002","unstructured":"Mares, E. (2002). A paraconsistent theory of belief revision. Erkenntnis, 56, 229\u2013246.","journal-title":"Erkenntnis"},{"key":"740_CR11","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). Logic of paradox. Journal of Philosophical Logic, 8, 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"key":"740_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3687-4","volume-title":"In contradiction","author":"G Priest","year":"1987","unstructured":"Priest, G. (1987). In contradiction. Dordrecht: Martinus Nijhoff Publishers."},{"key":"740_CR13","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-017-0460-1_4","volume-title":"Handbook of philosophical logic","author":"G Priest","year":"2002","unstructured":"Priest, G. (2002). Paraconsistent logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., pp. 287\u2013393). Dordrecht: Kluwer Academic Publishers.","edition":"2"},{"key":"740_CR14","volume-title":"Doubt truth to be a liar","author":"G Priest","year":"2006","unstructured":"Priest, G. (2006). Doubt truth to be a liar. Oxford: Oxford University Press."},{"key":"740_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","volume-title":"An introduction to non-classical logic","author":"G Priest","year":"2008","unstructured":"Priest, G. (2008). An introduction to non-classical logic (2nd ed.). Cambridge: Cambridge University Press.","edition":"2"},{"key":"740_CR16","volume-title":"Stanford encyclopedia of philosophy","author":"G Priest","year":"2013","unstructured":"Priest, G., Tanaka, K., & Weber, Z. (2013). Paraconsistent logic. In N. Z. Edward (Ed.), Stanford encyclopedia of philosophy. Stanford: Stanford University."},{"issue":"2","key":"740_CR17","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J. (2007). Logics of public communications. Synthese, 158(2), 165\u2013179.","journal-title":"Synthese"},{"key":"740_CR18","unstructured":"Pratt VR. (1976). Semantical considerations on Floyd-Hoare Logic. Proceedings of the 17th Annual IEEE symposium on foundations of computer science, pp. 109\u2013121."},{"key":"740_CR19","unstructured":"Restall G, & Slaney J. (1995). Realistic belief revision, Proceedings of the second world conference on foundations of artificial intelligence, pp. 367\u2013378."},{"key":"740_CR20","first-page":"269","volume-title":"Shifting priorities: Simple representations for twenty-seven iterated theory change operators","author":"H Rott","year":"2009","unstructured":"Rott, H. (2009). Towards mathematical philosophy. Shifting priorities: Simple representations for twenty-seven iterated theory change operators (pp. 269\u2013296). Dordrecht: Springer."},{"key":"740_CR21","first-page":"113","volume":"48","author":"K Tanaka","year":"2005","unstructured":"Tanaka, K. (2005). The AGM theory and inconsistent belief change. Logique et Analyse, 48, 113\u2013150.","journal-title":"Logique et Analyse"},{"key":"740_CR22","unstructured":"van Benthem J. (2006). One is a lonely number: On the logic of communication. In Z. Chatzidakis, P. Koepke, W. Pohlers (Eds.), Logic colloquium \u201802, vol. 27 of lecture notes in logic. Association for Symbolic Logic: Poughkeepsie."},{"key":"740_CR23","first-page":"1","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J. (2007). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 17, 1\u201327.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"740_CR24","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s10992-011-9178-2","volume":"40","author":"R Wassermann","year":"2011","unstructured":"Wassermann, R. (2011). On AGM for non-classical logics. Journal of Philosophical Logic, 40, 271\u2013294.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0740-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0740-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0740-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T17:51:10Z","timestamp":1747936270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0740-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,18]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,1]]}},"alternative-id":["740"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0740-2","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,18]]}}}